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

Results
161.	Image from Amazon.com	Foundations of Information and Knowledge Systems by Christoph Beierle Carlo Meghini Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
162.	Image from Amazon.com	Interactive Theorem Proving by Christian Urban Xingyuan Zhang Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
163.	Image from Amazon.com	"Logic, Language, Information, and Computation" by Ulrich Kohlenbach Pablo Barcelo Ruy J G B de Queiroz Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
164.	Image from Amazon.com	Coalgebraic Methods in Computer Science by Marcello M. Bonsangue Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
165.	Image from Amazon.com	Automated Reasoning by Nicola Olivetti Ashish Tiwari Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
166.	Image from Amazon.com	Formal Grammar by Glyn Morrill Rainer Osswald Reinhard Muskens Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
167.	Image from Amazon.com	Rewriting and Typed Lambda Calculi by Gilles Dowek Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
168.	Image from Amazon.com	Concise Guide to Formal Methods by Gerard ORegan Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
169.	Image from Amazon.com	Combinatorics on Words by Florin Manea Dirk Nowotka Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
170.	Image from Amazon.com	Principles and Practice of Constraint Programming by Barry OSullivan Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
171.	Image from Amazon.com	Probability Logics by Zoran Ognjanovic Miodrag RaSkovic Zoran Markovic Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
172.	Image from Amazon.com	Cyber Physical Systems. Model-Based Design by Roger Chamberlain Martin Torngren Walid Taha Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
173.	Image from Amazon.com	Information Security Theory and Practice by Olivier Blazy Chan Yeob Yeun Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
174.	Image from Amazon.com	"Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data" by Eleni Kosta Daniel Slamanig Jo Pierson Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
175.	Image from Amazon.com	Frontiers in Algorithmics by Yijia Chen Mei Lu Xiaotie Deng Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
176.	Image from Amazon.com	Service-Oriented Computing � ICSOC 2018 Workshops by Xiao Liu Liang Zhang Michael Mrissa Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
177.	Image from Amazon.com	Intelligent Information and Database Systems by Ngoc Thanh Nguyen Ford Lumban Gaol Tzung-Pei Hong Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
178.	Image from Amazon.com	New Technologies to Improve Patient Rehabilitation by Habib M. Fardoun Ahlam A. M. Hassan M. Elena de la Guia Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
179.	Image from Amazon.com	Logic and Its Applications by Md. Aquil Khan Amaldev Manuel Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
180.	Image from Amazon.com	Nonsymmetric Operads in Combinatorics by Samuele Giraudo Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)