|
1.
|
Introduction to automata theory, languages, and computation
by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Addison-Wesley, ©2007Availability: Items available for loan: IIITD [511.3 HOP-I] (11). Items available for reference: IIITD [REF 511.35 HOP-I] (1). Checked out (3).
|
|
2.
|
Computational complexity
by Papadimitriou, Christos H. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi. : Pearson/Addison-Wesley, ©1994Availability: 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; 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; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Cengage Learning, c1997Availability: No items available Checked out (2).
|
|
5.
|
Elements of the theory of computation
by Lewis, Harry R | Papadimitriou, Christos H. Edition: 2nd ed.Material type: 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; 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; 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; 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; Format:
print
; Literary form:
not fiction
Publisher: Providence, R.I. : American Mathematical Society, c2002Availability: No items available Checked out (1).
|
|
10.
|
Combinatorial optimization : networks and matroids
by Lawler, Eugene L. Material type: 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Jones & Bartlett Learning, c2011Availability: Items available for loan: IIITD [005.1 NEA-F] (1).
|
|
17.
|
Parameterized complexity
by Downey, R. G | Fellows, M. R. Material type: 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; 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; 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.
|
The structure and dynamics of networks
by Newman, Mark | Barabasi, Albert-Laszlo | Watts, Duncan J 1971-. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : New Age, c2006Online access: Table of contents | Contributor biographical information | Publisher description Availability: Items available for loan: IIITD [004.6 NEW-S] (1).
|