FEEDBACK Smiley face

Your search returned 27 results. Subscribe to this search

|
1. Introduction to automata theory, languages, and computation

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Addison-Wesley, ©2007Online access: Table of contents Availability: Items available for loan: IIITD [511.3 HOP-I] (12).
Items available for reference: IIITD [REF 511.35 HOP-I] (1).
Checked out (1).

2. Automata and computability

by Kozen, Dexter 1951-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, c1997Online access: Publisher description | Table of contents only Availability:
Items available for reference: IIITD [REF 511.3 KOZ-A] (1).

3. Handbook of process algebra

by Bergstra, J. A | Ponse, A. (Alban) 1955- | Smolka, Scott A.

Edition: 1st ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Elsevier, 2001Online access: Table of contents only | Publisher description Availability:
Items available for reference: IIITD [REF 511.3 BER-H] (1).

4. Languages and machines : an introduction to the theory of computer science

by Sudkamp, Thomas A.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson, c2006Online access: Table of contents Availability: Items available for loan: IIITD [511.3 SUD-L] (1).

5. Digital logic and state machine design

by Comer, David J.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Oxford University Press, c1995Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [621.381 COM-D] (1).

6. Theory of computation

by Sipser, Michael.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cengage Learning, c1997Availability: Items available for loan: IIITD [004.01 SIP-T] (1).
Items available for reference: IIITD [REF 004.01 SIP-T] (1).

7. The theory of computation

by Moret, B. M. E. (Bernard M. E.).

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson, c1998Availability: Items available for loan: IIITD [004.01 MOR-T] (1).

8. Elements of the theory of computation

by Lewis, Harry R | Papadimitriou, Christos H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : PHI, c1998Availability: Items available for loan: IIITD [511 LEW-E] (1).

9. An introduction to formal languages and automata

by Linz, Peter.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Narosa, c2006Online access: Table of contents only Availability: Items available for loan: IIITD [511.3 LIN-I] (1).

10. Discrete mathematical structures with applications to computer science

by Tremblay, Jean-Paul | Manohar, R.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : McGraw-Hill, ©2009Availability: Items available for loan: IIITD [511 TRE-D] (1).
Items available for reference: IIITD [REF 511 TRE-D] (1).

11. Automata, computability and complexity : theory and applications

by Rich, Elaine.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson, c2008Availability: Items available for loan: IIITD [511.3 RIC-A] (1).
Items available for reference: IIITD [REF 511.3 RIC-A] (1).

12. Elements of computation theory

by Singh, Arindama.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Dordrecht ; New York : Springer, c2009Availability:
Items available for reference: IIITD [CBIA 004 SIN-E] (1).

13. Mechanism design : a linear programming approach

by Vohra, Rakesh V.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Cambridge University Press, 2011Online access: Cover image Availability: Items available for loan: IIITD [658.4033 VOH-M] (1).

14. Switching theory for logic synthesis

by Sasao, Tsutomu 1950-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston, Mass. : Kluwer Academic Publishers, 1999Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [621.395 SAS-S] (1).

15. Classical and quantum computation

by Kitaev, A. Yu. (Alexei Yu.) 1963- | Shen, A. (Alexander) 1958- | Vyalyi, M. N. (Mikhail N.) 1961-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Providence, R.I. : American Mathematical Society, c2002Availability: Items available for loan: IIITD [REF 530.12 KIT-C] (1).

16. Contemporary artificial intelligence

by Neapolitan, Richard E | Jiang, Xia.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton : Taylor & Francis, ©2013Availability: Items available for loan: IIITD [REF 006.3 NEA-C] (1).

17. Ensemble methods : foundations and algorithms

by Zhou, Zhi-Hua.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton, FL : Taylor & Francis, ©2012Availability: Items available for loan: IIITD [REF 006.31 ZHO-E] (1).

18. An introduction to formal languages and automata

by Linz, Peter.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi. : Jones and Bartlett Publishers, c2011Availability: No items available
Checked out (1).

19. Elements of automata theory

by Sakarovitch, Jacques.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Cambridge University Press, ©2009Online access: Table of contents | Contributor biographical information | Publisher description Availability: Items available for loan: IIITD [REF 512 SAK-E] (1).

20. Automata, logics, and infinite games

by Gradel, Erich | Thomas, Wolfgang | Wilke, Thomas.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2002Online access: Publisher description Availability: Items available for loan: IIITD [REF 004.015 GRA-A] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in