Results of search for 'su:"Computer."' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Introduction to algorithms by Cormen, Thomas H Leiserson, Charles E [Author] Rivest, Ronald L [Author] Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : PHI Learning, ©2001 Availability: Items available for loan: IIITD (12)Call number: 005.1 COR-I, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.1 COR-I. Not available: IIITD: Checked out (1). (1 votes) Place hold Add to cart (remove)
	2.	Data structures and algorithms by Aho, Alfred V Hopcroft, John E Ullman, Jeffrey D Series: Addison-Wesley series in computer science and information processing Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson, ©1983 Availability: Items available for loan: IIITD (3)Call number: 005.73 AHO-D, ... Place hold Add to cart (remove)
	3.	The art of computer programming : fundamental algorithm, vol I by Knuth, Donald E Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Pearson, ©2009 Availability: Items available for loan: IIITD (2)Call number: 005.1 KNU-A, ... Place hold Add to cart (remove)
	4.	Art of computer programming : semi numerical algorithm, vol II by Knuth, Donald E Material type: Text; Format: print ; Literary form: Not fiction Publication details: Pearson, ©2009 Availability: Items available for loan: IIITD (2)Call number: 005.1 KNU-A, ... Place hold Add to cart (remove)
	5.	The art of computer programming : sorting and searching, vol III by Knuth, Donald E Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New delhi : Pearson, ©2009 Availability: Items available for loan: IIITD (2)Call number: 005.1 KNU-A, ... Place hold Add to cart (remove)
	6.	Design patterns : elements of reusable object-oriented software by Gamma, Erich Helm, Richard Johnson, Ralph Vlissides, John Series: Addison-Wesley professional computing series Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi. : Pearson, ©1995 Availability: Items available for loan: IIITD (8)Call number: 005.12 GAM-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.12 GAM-D. Not available: IIITD: Withdrawn (1). Place hold Add to cart (remove)
	7.	Principles of model checking by Baier, Christel Katoen, Joost-Pieter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, : MIT Press, ©2008 Online access: Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 004.24 BAI-P. Place hold Add to cart (remove)
	8.	Model checking by Clarke, E. M Grumberg, Orna Peled, Doron Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : MIT Press, ©1999 Availability: Items available for loan: IIITD (1)Call number: REF 004.24 CLA-M. Place hold Add to cart (remove)
	9.	Neural networks : a comprehensive foundation by Haykin, Simon S Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River, N.J. : Prentice Hall, ©1999 Availability: Items available for loan: IIITD (1)Call number: 006.3 HAY-N. Place hold Add to cart (remove)
	10.	Cyber forensics : a field manual for collecting, examining, and preserving evidence of computer crimes by Marcella, Albert J Menendez, Doug Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Auerbach Publications, ©2008 Availability: Items available for loan: IIITD (1)Call number: REF 005.8 KUR-C. (1 votes) Place hold Add to cart (remove)
	11.	Advances and application of DSmT for information fusion : collected works,vol III by Dezert, Jean Smarandache, Florentin Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi, ARP: ©2009 Availability: Items available for loan: IIITD (1)Call number: REF 005.1 DEZ-A. Place hold Add to cart (remove)
	12.	Reliable face recognition methods : system design, implementation and evaluation by Wechsler, Harry Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Online access: Table of contents only Publisher description Availability: Items available for loan: IIITD (1)Call number: REF 006.42 WEC-R. Place hold Add to cart (remove)
	13.	Handbook of face recognition by Li, S. Z Jain, Anil K Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2005 Other title: Face recognition Online access: Table of contents only Publisher description Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	14.	Introduction to computer theory by Cohen, Daniel I. A Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, c1997 Availability: Items available for loan: IIITD (2)Call number: 004 COH-I, ... Place hold Add to cart (remove)
	15.	Theory of computer science : automata theory, languages and computation by Mishra, KLP Chandrasekaran, N Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: PHI, ©2009 Availability: Items available for loan: IIITD (10)Call number: 511.35 MIS-T, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.35 MIS-T. Not available: IIITD: Withdrawn (1). Place hold Add to cart (remove)
	16.	Reactive systems : modelling, specification and verification by Aceto, Luca Anna Ingólfsdóttir Larsen, K. G Srba, Jiřiʹ Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi ; New York : Cambridge University Press, ©2007 Availability: Items available for loan: IIITD (1)Call number: REF 006.330 ACE-R. Place hold Add to cart (remove)
	17.	Distributed algorithms by Lynch, Nancy A Series: The Morgan Kaufmann series in data management systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi. : Morgan Kaufmann, ©1997 Availability: Items available for loan: IIITD (1)Call number: 005.276 LYN-D. Place hold Add to cart (remove)
	18.	Spin model checker : primer and reference manual by Holzmann, Gerard J Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Addison-Wesley, ©2004 Availability: Items available for loan: IIITD (1)Call number: REF 620.001 HOL-S. Place hold Add to cart (remove)
	19.	Transactional information systems : theory, algorithms, and the practice of concurrency control and recovery by Weikum, Gerhard Vossen, Gottfried Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Francisco : Morgan Kaufmann, ©2002 Availability: Items available for loan: IIITD (1)Call number: REF 005.74 WEI-T. Place hold Add to cart (remove)
	20.	Transaction processing : concepts and techniques by Gray, Jim Reuter, A Series: The Morgan Kaufmann series in data management systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Mateo, Calif. : Morgan Kaufmann, ©1993 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17387 results.