Your search returned 97 results.

Results
	81.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] Proceedings by Khaled Mellouli by European Conference 2007) Tunisia, ECSQARU (9 Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	82.	Current Topics in Artificial Intelligence [electronic resource] by Daniel Borrajo, Luis Castillo and Juan Manuel Corchado by Conference 2007) Spain, CAEPIA (12 Castillo, Luis Corchado, Juan Manuel Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	83.	Scalable Uncertainty Management [electronic resource] Proceedings by Henri Prade and V S Subrahmanian by International Conference 2007) Washington,DC, SUM (1 Prade, Henri Subrahmanian, V. S Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	84.	Algebraic Informatics [electronic resource] Proceddings by Symeon Bozapalidis and George Rahonis by International Conference 2007) Greece, CAI (2 Bozapalidis, Symeon Rahonis, George Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512 (e-book). Place hold
	85.	Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] Proceedings by Stefano Aguzzoli, et al by Aguzzoli, Stefano, et al Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.31 (e-book). Place hold
	86.	Implementation and Application of Automata [electronic resource] Proceedings by Petra Perner and Ovidio Salvetti by International Conference 2007) Czech Republic, CIAA (12 Perner, Petra Salvetti, Ovidio Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold
	87.	MICAI 2007 Advances in Artificial Intelligence [electronic resource] :Proceedings by Alexander Gelbukh and णngel Fernando Kuri Morales by Mexican International Conference 2007) Mexico, AI (6 Gelbukh, Alexander Kuri Morales,णngel Fernando Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	88.	Programming Languages and Systems [electronic resource] Proceedings by Zhong, Shao by Asian Symposium 2007) Singapore, APLAS (5 Shao, Zhong Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold
	89.	FSTTCS 2007 Foundations of Software Technology and Theoretical Computer Science [electronic resource]:Proceedings V Arvind and Sanjiva Prasad by International Conference (27 New Delhi 2007) Arvind, V Prasad, Sanjiva Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	90.	No cover image available Course in formal languages, automation and groups by Ian, Chiswell, Material type: Text Publication details: UK Springer 2009 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.39 P09. Place hold
	91.	Introduction to Automata Theory Languages and Computation by John E Hopcroft, Rajeev Motwani and Jeffrey D Ullman by Hopcroft, John E Motwani, Rajeev Ullman, Jeffrey D Edition: 3rd ed Material type: Text Publication details: Noida Pearson 2008 Availability: Items available for loan: Computer Science and Automation (1)Call number: 629.8312 P082 (CSA). Place hold
	92.	Introduction to automata theory languages and computation by John E Hopcroft Rajeev Motwani and Jeffery D Ullman by Hopcroft, John E Motwani, Rajeev Ullman, Jeffery D Edition: 3rd ed. Material type: Text Publication details: New Delhi Pearson 2008 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.35 P08 (CSA). Place hold
	93.	Introduction to automata theory, Language and computation by John E Hopcroft and Jeffrey D Ullman by Hopcroft, John E Ullman, Jeffrey D Material type: Text Publication details: London Addison Wesley 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.8312 N79;1. Place hold
	94.	Elements of theory of computation by Harry R Lewis and Christos H Papadimitriou by Lewis, Harry R Papadimitriou, Christos H Material type: Text Publication details: New Jersey Prentice-Hall, Inc. 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N811. Place hold
	95.	Elements of the theory of computation by Harry R Lewis and Christos H Papadimitriou by Lewis, Harry R Papadimitriou, Christos H Series: Prentice hall software series ; Material type: Text Publication details: New Jersey Prentice-Hall 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N812. Place hold
	96.	Formal languages and computation: Models and their applications by Alexander Meduna by Meduna, Alexander Material type: Text Publication details: Boca Raton CRC Press 2014 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P14. Place hold
	97.	Introduction to automata theory, languages, and computation by Hopcroft, John E Ullman, Jeffrey D [author] Motwani, Rajeev [author] Edition: 3rd ed. Publication details: Chennai : Pearson India Education services Pvt. Ltd., 2023 Availability: Items available for loan: UG Programme (1)Call number: 629.83 HOP. (1 votes) Place hold

First
Previous
1
2
3
4
5

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832