Results of search for 'ccl=su:"Automata"' › CENTRAL LIBRARY, AMRITA VISHWA VIDYAPEETHAM catalog

Results
121.	Image from Amazon.com	Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996�2016) by Maxime Amblard Philippe de Groote Sylvain Pogodalla Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
122.	Image from Amazon.com	Descriptive Set Theoretic Methods in Automata Theory by Michal Skrzypczak Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
123.	Image from Amazon.com	"Abstract State Machines, Alloy, B, TLA, VDM, and Z" by Michael Butler Atif Mashkoor Klaus Dieter Schewe Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
124.	Image from Amazon.com	Logical Foundations of Computer Science by Sergei Artemov Anil Nerode Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
125.	Image from Amazon.com	"Logic, Language, Information, and Computation" by Juliette Kennedy Ruy JGB de Queiroz Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
126.	Image from Amazon.com	"Categories and Types in Logic, Language, and Physics" by Claudia Casadio Bob Coecke Michael Moortgat Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
127.	Image from Amazon.com	Principles and Practice of Constraint Programming by J Christopher Beck Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
128.	Image from Amazon.com	Automated Reasoning by Stephane Demri Christoph Weidenbach Deepak Kapur Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
129.	Image from Amazon.com	Principles and Practice of Constraint Programming by Gilles Pesant Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
130.	Image from Amazon.com	Application and Theory of Petri Nets and Concurrency by Fabrice Kordon Daniel Moldt Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
131.	Image from Amazon.com	Provably Correct Systems by Mike Hinchey Ernst Rudiger Olderog Jonathan P Bowen Series: NASA Monographs in Systems and Software Engineering Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
132.	Image from Amazon.com	Relational and Algebraic Methods in Computer Science by Peter Hofner Peter Jipsen Wolfram Kahl Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
133.	Image from Amazon.com	Descriptional Complexity of Formal Systems by Cezar Campeanu Florin Manea Jeffrey Shallit Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
134.	Image from Amazon.com	Relational and Algebraic Methods in Computer Science by Wolfram Kahl Jose Oliveira Michael Winter Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
135.	Image from Amazon.com	"Logic, Language, Information, and Computation" by Jouko Vaananen Asa Hirvonen Ruy de Queiroz Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
136.	Image from Amazon.com	"Logic, Language, and Computation" by Helle Hvid Hansen Mehrnoosh Sadrzadeh Sarah E Murray Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
137.	Image from Amazon.com	Coalgebraic Methods in Computer Science by Ichiro Hasuo Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
138.	Image from Amazon.com	Interactive Theorem Proving by Jasmin Christian Blanchette Stephan Merz Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
139.	Image from Amazon.com	Logic and Its Applications by Sujata Ghosh Sanjiva Prasad Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
140.	Image from Amazon.com	"Logic, Rationality, and Interaction" by Wiebe van der Hoek Wen fang Wang Wesley H Holliday Series: Lecture Notes in Computer Science Edition: 1st ed. 2015 Material type: Computer file; Format: electronic Publication details: Springer ; 2015 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)