Browse Results

Showing 71,001 through 71,025 of 100,000 results
Title Author ISBN Copyright Features Action
Automated Pattern Recognition of Communication Behaviour in Electronic Business Negotiations (Gabler Theses) 5192018 Muhammed Fatih Kaya 9783658405342 2023 Contains images
Automated Performer Flying: The State of the Art 2948686 Jim Shumway 9781351131506 2020
Automated Performer Flying: The State of the Art 3147912 Jim Shumway 9781351131490 2020 Contains images
Automated Physical Database Design and Tuning 3482052 Nicolas Bruno 9781439815687 2011
Automated Planning: Theory and Practice (The Morgan Kaufmann Series in Artificial Intelligence) 3979600 Malik Ghallab Dana Nau Paolo Traverso 9780080490519 2004
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) 4662443 Jochen Pfalzgraf J. Cunningham Dongming Wang 9783709166048 1995
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer Science #5195) 4676198 Alessandro Armando Peter Baumgartner Gilles Dowek 9783540710707 2008
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science #3097) 4719554 David Basin Michael Rusinowitch 9783540259848 2004
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science #13385) 4842123 Jasmin Blanchette Laura Kovács Dirk Pattinson 9783031107696 2022 Contains images
Automated Reasoning: Essays in Honor of Woody Bledsoe (Automated Reasoning Series #1) 4603650 Robert Stephen Boyer 9789401134880 1991
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science #8562) 2810736 Stéphane Demri Deepak Kapur Christoph Weidenbach 9783319085876 2014
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science #4130) 4807813 Ulrich Furbach Natarajan Shankar 9783540371885 2006
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Computer Science #10900) 2265839 Didier Galmiche Stephan Schulz Roberto Sebastiani 9783319942056 2018 Contains images
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science #2083) 4682232 Rajeev Gore Alexander Leitsch Tobias Nipkow 9783540457442 2001
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science #7364) 4634035 Bernhard Gramlich Dale Miller Ulrike Sattler 9783642313653 2012
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science #6173) 4216682 Reiner Hähnle Jürgen Giesl 9783642142031 2010
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings (Lecture Notes in Computer Science #9706) 2847652 Nicola Olivetti Ashish Tiwari 9783319402291 2016 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12167) 3487412 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510541 2020 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12166) 4838570 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510749 2020 Contains images
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14740) 6084404 Renate A. Schmidt Christoph Benzmüller Marijn J. H. Heule 9783031635014 2024 Contains images
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14739) 6118176 Renate A. Schmidt Christoph Benzmüller Marijn J. H. Heule 9783031634987 2024 Contains images
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science #7788) 4805271 Maria Paola Bonacina Mark E. Stickel 9783642366758 2013
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6186) 4743584 Alessandro Armando Gavin Lowe 9783642160745 2010
Automated Reasoning for Systems Biology and Medicine (Computational Biology #30) 2691129 Pietro Liò Paolo Zuliani 9783030172978 2019 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science #3702) 4626546 Bernhard Beckert 9783540318224 2005

Refine Search

Showing 71,001 through 71,025 of 100,000 results