FEEDBACK Smiley face

Refine your search

Your search returned 4 results. Subscribe to this search

|
1. The calculus of computation : decision procedures with applications to verification

by Bradley, Aaron R | Manna, Zohar.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2007Availability:
Items available for reference: IIITD [004.015 BRA-C] (1).

2. Where the action is : the foundations of embodied interaction

by Dourish, Paul.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©2001Availability:
Items available for reference: IIITD [004.019 DOU-W] (1).

3. Multimedia systems : with 172 figures

by Steinmetz, Ralf | Nahrstedt, Klara.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2004Availability: Items available for loan: IIITD [006.7 STE-M] (1).
Items available for reference: IIITD [REF 006.7 STE-M] (1).

4. Multimedia applications

by Steinmetz, Ralf | Nahrstedt, Klara.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Springer, ©2004Availability: Items available for loan: IIITD [006.7 STE-M] (1).
Items available for reference: IIITD [REF 006.7 STE-M] (1).


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