Results of search for 'ccl=su:{Computer 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.	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)
	4.	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)
	5.	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)
	6.	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)
	7.	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)
	8.	No cover image available Embedded linux : hardware, software, and interfacing by Hollabaugh, Craig Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Addison-Wesley, ©2002 Availability: Items available for loan: IIITD (2)Call number: 005.43 HOL-E, ... Place hold Add to cart (remove)
	9.	Introduction to languages and the theory of computation by Martin, John C Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: TMH, 2009 Availability: Items available for loan: IIITD (1)Call number: 004.01 MAR-I. Place hold Add to cart (remove)
	10.	Communication architectures for systems-on-chip by Ayala, Jose L Material type: Text; Format: print ; Literary form: Not fiction Publication details: CRC Press, 2011 Availability: Items available for loan: IIITD (1)Call number: REF 621.382 AYA-C. Place hold Add to cart (remove)
	11.	Computer systems performance evaluation and prediction by Fortier, Paul J Michel, Howard Edgar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Elsevier, c2003 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (2)Call number: 004.24 FOR-C, ... Place hold Add to cart (remove)
	12.	Embedded systems : a contemporary design tool by Peckol, James K Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Wiley, c2008 Online access: Table of contents only Contributor biographical information Publisher description Availability: Items available for loan: IIITD (2)Call number: 004.16 PEC-E, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 004.16 PEC-E. Place hold Add to cart (remove)
	13.	Embedded systems handbook by Zurawski, Richard Series: Industrial information technology series Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : CRC Press, c2009 Availability: Items available for loan: IIITD (1)Call number: REF 004.16 ZUR-E. Place hold Add to cart (remove)
	14.	Embedded multiprocessors : scheduling and synchronization by Sriram, Sundararajan Bhattacharyya, Shuvra S, 1968- Series: Signal processing and communications Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : Taylor & Francis, 2009 Availability: Items available for loan: IIITD (1)Call number: 004.16 SRI-E. Place hold Add to cart (remove)
	15.	A networking approach to grid computing by Minoli, Daniel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, 2005 Online access: Book review (E-STREAMS) Publisher description Table of contents only Contributor biographical information Availability: Items available for loan: IIITD (1)Call number: 004.36 MIN-N. Place hold Add to cart (remove)
	16.	Embedded system design : a unified hardware/software introduction by Vahid, Frank Givargis, Tony Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, c2002 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (1)Call number: 005.256 VAH-E. Place hold Add to cart (remove)
	17.	Embedded/ real time systems : concepts, design & programmming by Prasad, K.V.K.K Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Dreamtech Press, 2013 Availability: Items available for loan: IIITD (1)Call number: 004.33 PRA-E. Place hold Add to cart (remove)
	18.	8051 microcontrollers: an applications-based introduction by Calcutt, D. M Cowan, Frederick J Parchizadeh, G. Hassan Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New Delhi Elsevier 2004 Availability: Items available for loan: IIITD (1)Call number: 004.165 CAL-M. Place hold Add to cart (remove)
	19.	Embedded DSP processor design : application specific instruction set processors by Liu, Dake, 1957- Series: The Morgan Kaufmann series in systems on silicon Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Elsevier, c2008 Online access: Table of contents only Availability: Items available for loan: IIITD (1)Call number: 621.39 LIU-E. Place hold Add to cart (remove)
	20.	No cover image available Embedded multitasking by Curtis, Keith Series: Embedded technology series Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: Elsevier, c2006 Online access: Table of contents only Publisher description Availability: Items available for loan: IIITD (1)Call number: 004.35 CUR-E. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 104 results.