FEEDBACK Smiley face

Your search returned 1668 results. Subscribe to this search

|
1. Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, : MIT Press, ©2008Online access: Table of contents only Availability:
Items available for reference: IIITD [REF 004.24 BAI-P] (1).

2. Model checking

by Clarke, E. M | Grumberg, Orna | Peled, Doron.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : MIT Press, ©1999Availability:
Items available for reference: IIITD [REF 004.24 CLA-M] (1).

3. Transactional information systems : theory, algorithms, and the practice of concurrency control and recovery

by Weikum, Gerhard | Vossen, Gottfried.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: San Francisco : Morgan Kaufmann, ©2002Availability:
Items available for reference: IIITD [REF 005.74 WEI-T] (1).

4. Transaction processing : concepts and techniques

by Gray, Jim | Reuter, A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: San Mateo, Calif. : Morgan Kaufmann, ©1993Availability:
Items available for reference: IIITD [REF 004.33 GRA-T] (1).

5. Designing the user interface : strategies for effective human-computer interaction

by Shneiderman, Ben | Plaisant, Catherine.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston : Addison-Wesley, ©2010Availability:
Items available for reference: IIITD [REF 005.437 SHN-D] (1).

6. Usability engineering

by Nielsen, Jakob.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Academic Press, ©1993Availability:
Items available for reference: IIITD [REF 005.1 NIE-U] (1).

7. Learning the bash shell

by Newham, Cameron | Rosenblatt, Bill.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Mumbai ; O'Reilly, ©2006Online access: Publisher description Availability: Items available for loan: IIITD [005.446 NEW-L] (1).

8. Embedded linux : hardware, software, and interfacing

by Hollabaugh, Craig.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston : Addison-Wesley, ©2002Availability: Items available for loan: IIITD [005.43 HOL-E] (2).

9. Introduction to languages and the theory of computation

by Martin, John C.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: TMH, 2009Availability: No items available
Checked out (1).

10. Communication architectures for systems-on-chip

by Ayala, Jose L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: CRC Press, 2011Availability: No items available
Checked out (1).

11. Computer systems performance evaluation and prediction

by Fortier, Paul J | Michel, Howard Edgar.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Elsevier, c2003Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [004.24 FOR-C] (1).
Items available for reference: IIITD [REF 004.24 FOR-C] (1).

12. Embedded systems : a contemporary design tool

by Peckol, James K.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi Wiley, c2008Online access: Table of contents only | Contributor biographical information | Publisher description Availability: Items available for loan: IIITD [004.16 PEC-E] (1).
Items available for reference: IIITD [REF 004.16 PEC-E] (1).
Checked out (1).

13. Embedded systems handbook

by Zurawski, Richard.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton : CRC Press, c2009Availability: Items available for loan: IIITD [REF 004.16 ZUR-E] (1).

14. Embedded multiprocessors : scheduling and synchronization

by Sriram, Sundararajan | Bhattacharyya, Shuvra S 1968-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton : Taylor & Francis, 2009Availability: Items available for loan: IIITD [004.16 SRI-E] (1).

15. A networking approach to grid computing

by Minoli, Daniel.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hoboken, N.J. : Wiley, 2005Online access: Book review (E-STREAMS) | Publisher description | Table of contents only | Contributor biographical information Availability: Items available for loan: IIITD [004.36 MIN-N] (1).

16. Embedded system design : a unified hardware/software introduction

by Vahid, Frank | Givargis, Tony.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Wiley, c2002Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [005.256 VAH-E] (1).

17. Embedded/ real time systems : concepts, design & programmming

by Prasad, K.V.K.K.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Dreamtech Press, 2013Availability: Items available for loan: IIITD [004.33 PRA-E] (1).

18. 8051 microcontrollers: an applications-based introduction

by Calcutt, D. M | Cowan, Frederick J | Parchizadeh, G. Hassan.

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: New Delhi Elsevier 2004Availability: Items available for loan: IIITD [004.165 CAL-M] (1).

19. Embedded DSP processor design : application specific instruction set processors

by Liu, Dake 1957-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Elsevier, c2008Online access: Table of contents only Availability: Items available for loan: IIITD [621.39 LIU-E] (1).

20. Embedded multitasking

by Curtis, Keith.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi: Elsevier, c2006Online access: Table of contents only | Publisher description Availability: Items available for loan: IIITD [004.35 CUR-E] (1).


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