Results of search for 'ccl=su:{Systems}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	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)
	2.	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)
	3.	Pattern classification by Duda, Richard O Hart, Peter E Stork, David G Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Wiley, ©2006 Online access: Contributor biographical information Publisher description Table of Contents Availability: Items available for loan: IIITD (8)Call number: 006.4 DUD-P, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 006.4 DUD-P. Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	4.	Handbook of biometrics by Jain, Anil K Flynn, Patrick Ross, Arun A Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2008 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 006.4 JAI-H. Add to cart (remove)
	5.	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)
	6.	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)
	7.	Distributed systems : principles and paradigms by Tanenbaum, Andrew S Steen, Maarten van Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson/Prentice Hall, ©2007 Online access: Table of contents only Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.36 TAN-D. Add to cart (remove)
	8.	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)
	9.	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)
	10.	Designing the user interface : strategies for effective human-computer interaction by Shneiderman, Ben Plaisant, Catherine Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Addison-Wesley, ©2010 Availability: Items available for loan: IIITD (1)Call number: REF 005.437 SHN-D. Place hold Add to cart (remove)
	11.	Usability engineering by Nielsen, Jakob Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Academic Press, ©1993 Availability: Items available for loan: IIITD (1)Call number: REF 005.1 NIE-U. Place hold Add to cart (remove)
	12.	Take back your life! : using Microsoft Office Outlook 2007 to get organized and stay organized by McGhee, Sally Wittry, John Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi. : Microsoft Press, ©2007 Availability: Items available for loan: IIITD (1)Call number: 005.57 MCG-T. Place hold Add to cart (remove)
	13.	Operating system concepts by Silberschatz, Abraham Galvin, Peter B Gagne, Greg Edition: 8th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, NJ : Wiley, ©2009 Availability: Items available for loan: IIITD (13)Call number: 005.43 SIL-O, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.43 SIL-O. Not available: IIITD: Withdrawn (2). Place hold Add to cart (remove)
	14.	Operating systems : internals and design principles by Stallings, William Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi. : Prentice Hall, ©2009 Availability: Items available for loan: IIITD (5)Call number: 005.43 STA-O, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.43 STA-O. Place hold Add to cart (remove)
	15.	Operating systems : design and implementation by Tanenbaum, Andrew S Woodhull, Albert S Edition: 3rd ed. Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: New Delhi: Pearson, ©2006 Availability: Items available for loan: IIITD (5)Call number: 005.43 TAN-O, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.43 TAN-O. Place hold Add to cart (remove)
	16.	Learning the bash shell by Newham, Cameron Rosenblatt, Bill Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Mumbai ; O'Reilly, ©2006 Online access: Publisher description Availability: Items available for loan: IIITD (1)Call number: 005.446 NEW-L. Place hold Add to cart (remove)
	17.	Linux in a nutshell by Siever, Ellen Siever, Ellen. Linux in a nutshell Series: In a nutshell Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Beijing ; Sebastopol, CA : O'Reilly, 2005 Online access: Table of contents only Publisher description Contributor biographical information Availability: Not available: IIITD: Withdrawn (1). Add to cart (remove)
	18.	Linux kernel by Bovet, Daniel P Cesati, Marco Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: O'Reilly, 2008 Availability: Items available for loan: IIITD (1)Call number: 005.432 BOV-L. Place hold Add to cart (remove)
	19.	Advanced compiler design and implementation by Muchnick, Steven S Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Francisco, Calif. : Morgan Kaufmann, ©1997 Other title: Advanced compiler design & implementation Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (7)Call number: 005.453 MUC-A, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.453 MUC-A. Lists: Systems Programming. Place hold Add to cart (remove)
	20.	RFID : applications, security, and privacy by Rosenberg, Beth Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River, NJ : Addison-Wesley, ©2006 Online access: Table of contents Availability: Items available for loan: IIITD (1)Call number: REF 621.384 GAR-R. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 10968 results.