Browse Results

Showing 3,926 through 3,950 of 62,084 results
Title Author ISBN Copyright Features Action
Autocratization in post-Cold War Political Regimes (Challenges to Democracy in the 21st Century) 4742380 Andrea Cassani Luca Tomini 9783030031251 2019 Contains images
The Autocritique of Enlightenment: Rousseau and the Philosophes 3072504 Mark Hulliung 9781351305556 2014
The Autocritique of Enlightenment: Rousseau and the Philosophes 5601693 Mark Hulliung 9781351305549 2014
Automata: (pdf) (Macmillan Computer Science Ser.) 3846292 David Hopkin Barbara Moss 9781349156917 1976
Automata and Languages: Theory and Applications 3860912 Alexander Meduna 9781447105015 2000
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science #5955) 4737545 Gabriele Puppis 9783642118814 2010
Automata Implementation: 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers (Lecture Notes in Computer Science #2214) 4817102 Oliver Boldt Helmut Jürgensen 9783540455264 2001
Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers (Lecture Notes in Computer Science #1660) 4769851 Jean-Marc Champarnaud Denis Maurel Djelloul Ziadi 9783540480570 1999
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture Notes in Computer Science #6756) 4615355 Luca Aceto Monika Henzinger Jiri Sgall 9783642220128 2011
Automata, Languages and Programming: 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings (Lecture Notes in Computer Science #3580) 4666612 Luis Caires Guiseppe F. Italiano Luis Monteiro Catuscia Palamidessi Moti Yung 9783540316916 2005
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982 (Lecture Notes in Computer Science #140) 4710272 M. Nielsen E. M. Schmidt 9783540393085 1982
Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques (Undergraduate Topics in Computer Science) 4843692 Alberto Pettorossi 9783031119651 2022
Automata Theory and its Applications (Progress in Computer Science and Applied Logic #21) 3862943 Bakhadyr Khoussainov Anil Nerode 9781461201717 2001
Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science #3632) 4797424 Robert Nieuwenhuis 9783540318644 2005
Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer Science #5663) 4769305 Renate Schmidt 9783642029592 2009
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Lecture Notes in Computer Science #10395) 2248029 Leonardo De Moura 9783319630465 2017 Contains images
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science #11716) 4694882 Pascal Fontaine 9783030294366 2019 Contains images
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science #12699) 4199171 André Platzer Geoff Sutcliffe 9783030798765 2021 Contains images
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (Lecture Notes in Computer Science #14132) 5636464 Brigitte Pientka Cesare Tinelli 9783031384998 2023 Contains images
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series #9) 4748949 Wolfgang Bibel P. H. Schmitt 9789401704359 1998
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series #10) 4817879 Wolfgang Bibel P. H. Schmitt 9789401704373 1998
Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science #1249) 4756294 William McCune 9783540691402 1997
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science #1632) 4670671 Harald Ganzinger 9783540486602 1999
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science #1831) 4678510 David McAllester 9783540451013 2000
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science #2392) 4770705 Andrei Voronkov 9783540456209 2002

Refine Search

Showing 3,926 through 3,950 of 62,084 results