Browse Results

Showing 4,876 through 4,900 of 55,525 results
Title Author ISBN Copyright Features Action
Automata and Computability: A Programmer's Perspective 5607804 Ganesh Gopalakrishnan 9781351374286 2019 Contains images
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, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings (Lecture Notes in Computer Science #2076) 4632008 Fernando Orejas Paul G. Spirakis Jan Van Leeuwen 9783540482246 2001
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
Automata, Universality, Computation: Tribute to Maurice Margenstern (Emergence, Complexity and Computation #12) 2811724 Andrew Adamatzky 9783319090399 2015
Automated Data Analysis Using Excel 3334669 Brian D. Bissett 9781584888864 2007
Automated Data Analysis Using Excel (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series) 3572454 Brian D. Bissett 9781000088496 2020 Contains images
Automated Data Analysis Using Excel (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series) 3572456 Brian D. Bissett 9781000088472 2020
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

Refine Search

Showing 4,876 through 4,900 of 55,525 results