FEEDBACK Smiley face

Your search returned 31 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.35 HOP-I] (6).
Items available for reference: IIITD [REF 511.35 HOP-I] (1).
Checked out (7).

2. Computational complexity

by Papadimitriou, Christos H.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi. : Pearson/Addison-Wesley, c1994Availability: Items available for loan: IIITD [REF 511.3 PAP-C] (1).

3. 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).

4. 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 reference: IIITD [REF 004.01 SIP-T] (1). Checked out (1).

5. 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).

6. Computers and intractability : a guide to the theory of NP-completeness

by Garey, Michael R | Johnson, David S 1945- [joint author.].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: San Francisco : W. H. Freeman, c1979Availability: Items available for loan: IIITD [REF 519.4 GAR-C] (1).

7. 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).

8. Algorithms and complexity

by Wilf, Herbert S 1931-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Natick, Mass. : A.K. Peters, c2002Online access: Table of contents Availability: Items available for loan: IIITD [REF 511.8 WIL-A] (1).

9. 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).

10. Combinatorial optimization : networks and matroids

by Lawler, Eugene L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Mineola, N.Y. : Dover Publications, ©2001Online access: Publisher description Availability: Items available for loan: IIITD [REF 519.3 LAW-C] (1).

11. Computability : Turing, Godel, Church, and beyond

by Copeland, B. Jack (ed.) | Posy, Carl J. (ed.) | Shagrir, Oron (ed.).

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©2013Availability:
Items available for reference: IIITD [REF 511.352 COP-C] (1).

12. Complexity classifications of Boolean constraint satisfaction problems

by Creignou, Nadia | Khanna, Sanjeev | Sudan, Madhu.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Philadelphia : Society for Industrial and Applied Mathematics, ©2001Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [REF 511.3 CRE-C] (1).

13. The discrepancy method : randomness and complexity

by Chazelle, B.

Edition: First paperback ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : New York : Cambridge University Press, ©2000Availability: Items available for loan: IIITD [REF 512.7 CHA-D] (1).

14. Computational topology : an introduction

by Edelsbrunner, Herbert | Harer, J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Providence, R.I. : American Mathematical Society, ©2010Availability: Items available for loan: IIITD [514 EDE-C] (1).
Items available for reference: IIITD [REF 514 EDE-C] (1).

15. Efficient checking of polynomials and proofs and the hardness of approximation problems

by Sudan, Madhu.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer₋Verlag, ©1995Dissertation note: Based on the author's Ph. D. thesis, University of California, Berkeley, 1993. Online access: Publisher description Availability: Items available for loan: IIITD [REF 005.14 SUD-E] (1).

16. Foundations of algorithms

by Neapolitan, Richard E.

Edition: Fourth EditionMaterial type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Jones & Bartlett Learning, c2011Availability: No items available
Checked out (1).

17. Parameterized complexity

by Downey, R. G | Fellows, M. R.

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

18. Algorithmic randomness and complexity

by Downey, R. G | Hirschfeldt, Denis Roman.

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

19. Boolean function complexity : advances and frontiers

by Jukna, Stasys.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Springer, c2012Online access: Inhaltsverzeichnis | Inhaltstext Availability: Items available for loan: IIITD [REF 511.352 JUK-B] (1).

20. Introduction to computational science : modeling and simulation for the sciences

by Shiflet, Angela B | Shiflet, George W.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi: Overseas Press, ©2006Online access: Table of contents only Availability: Items available for loan: IIITD [REF 004 SHI-I] (1).


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