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

Results
141.	Image from Amazon.com	Deontic Logic and Normative Systems by Fabrizio Cariani Davide Grossi Joke Meheus 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)
142.	Image from Amazon.com	Principles and Practice of Constraint Programming by Michel Rueher 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)
143.	Image from Amazon.com	Combinatorics on Words by Srecko Brlek Christophe Reutenauer Francesco Dolce 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)
144.	Image from Amazon.com	Formal Grammar by Annie Foret Glyn Morrill Reinhard Muskens 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)
145.	Image from Amazon.com	Logic and Its Applications by Mohua Banerjee Krishna S Series: Lecture Notes in Computer Science Edition: 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)
146.	Image from Amazon.com	Theory and Applications of Models of Computation by Rahul Jain Frank Stephan Sanjay Jain Series: Lecture Notes in Computer Science Edition: 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)
147.	Image from Amazon.com	Relational and Algebraic Methods in Computer Science by Peter Hofner Damien Pous Georg Struth 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)
148.	Image from Amazon.com	"Logic, Rewriting, and Concurrency" by Narciso Marti Oliet Carolyn Talcott Peter Csaba Olveczky 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)
149.	Image from Amazon.com	Inductive Logic Programming by Jesse Davis Jan Ramon 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)
150.	Image from Amazon.com	Interactive Theorem Proving by Gerwin Klein Ruben Gamboa 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)
151.	Image from Amazon.com	"Logic, Rationality, and Interaction" by Alexandru Baltag Jeremy Seligman Tomoyuki Yamada 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)
152.	Image from Amazon.com	Models of Strategic Reasoning by Johan van Benthem Rineke Verbrugge Sujata Ghosh 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)
153.	Image from Amazon.com	Foundations of Information and Knowledge Systems by Marc Gyssens Guillermo Simari 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)
154.	Image from Amazon.com	Theory and Applications of Models of Computation by TV Gopal Gerhard Jager Silvia Steila 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)
155.	Image from Amazon.com	"Abstract State Machines, Alloy, B, TLA, VDM, and Z" by Yamine Ait Ameur Klaus Dieter Schewe 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)
156.	Image from Amazon.com	Inductive Logic Programming by Gerson Zaverucha Aline Paes Vitor Santos Costa 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)
157.	Image from Amazon.com	Interactive Theorem Proving by Mauricio Ayala Rincon Cesar A Munoz 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)
158.	Image from Amazon.com	"Logic, Language, Information, and Computation" by Valeria de Paiva Lawrence S Moss Ruy de Queiroz Series: Lecture Notes in Computer Science Edition: 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)
159.	Image from Amazon.com	Special Topics in Mathematics for Computer Scientists by Ernst Erich Doberkat 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)
160.	Image from Amazon.com	Refinement in Z and Object-Z by John Derrick Eerke A Boiten Edition: 2nd ed. 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)