FEEDBACK Smiley face

Your search returned 32 results. Subscribe to this search

|
1. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin : Springer, ©2016Availability:
Items available for reference: IIITD [REF 519.542 KRO-D] (1).

2. System design with systemC

by Grötker, Thorsten | Liao, Stan | Martin, Grant | Swan, Stuart.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: [s.l.] Springer, ©2002Availability:
Items available for reference: IIITD [REF 004.21 GRO-S] (1).

3. System verilog assertions and functional coverage : guide to language, methodology and applications

by Mehta, Ashok B.

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

4. 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).

5. The Oxford handbook of affective computing

by Calvo, Rafael A [editor.] | D'Mello, Sidney [editor.] | Gratch, Jonathan [editor.] | Kappas, Arvid [editor.].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Oxford University Press, ©2015Availability:
Items available for reference: IIITD [REF 004.21 CAL-O] (1).

6. 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).

7. Biotechnology : a problem approach

by Kumar, Pranav | Verma, praveen | Mina, Usha.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pathfinder, ©2019Availability: Items available for loan: IIITD [574.8 KUM-B] (1).
Items available for reference: IIITD [REF 574.8 KUM-B] (1).

8. Advanced test methods for SRAMs : effective solutions for dynamic fault detection in nanoscaled technologies

by Bosio, Alberto | Luigi Dilillo | Patrick Girard | Serge Pravossoudovitch | Arnaud V.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2010Availability:
Items available for reference: IIITD [REF 621.397 BOS-A] (1).

9. Low power and reliable SRAM memory cell and array design

by Ishibashi, Koichiro | Osada, Kenichi [editor ].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2011Availability:
Items available for reference: IIITD [REF 621.395 ISH-L] (1).

10. Nanometer variation-tolerant SRAM : circuits and statistical design for yield

by Abu-Rahma, Mohamed H | Anis, Mohab.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2013Availability:
Items available for reference: IIITD [REF 621.397 ABU-N] (1).

11. Software product lines in action : the best industrial practice in product line engineering

by Linden, Frank van der | Schmid, Klaus | Rommes, Eelco.

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

12. Real-time object uniform design methodology with UML

by Duc, Bui Minh.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Netherland : Springer, ©2007Availability:
Items available for reference: IIITD [REF 005.2732 DUC-R] (1).

13. Signals and systems : a MATLAB integrated approach

by Alkin, Oktay.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton : CRC Press, ©2014Availability:
Items available for reference: IIITD [REF 621.382 ALK-S] (1).

14. Reshaping the graduate education of scientists and engineers : NAS's committee on science, engineering, and public policy report

by United States. Congress. House. Committee on Science. Subcommittee on Basic Research.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Washington : U.S. G.P.O., ©1995Availability: No items available
Checked out (1).

15. The design of everyday things

by Norman, Donald A.

Edition: Revised and expanded edition.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Basic Books, ©2013Availability: No items available
Checked out (1).

16. Wavelet transforms and their applications

by Debnath, Lokenath.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Springer, ©2015Availability:
Items available for reference: IIITD [REF 621.3822 DEB-W] (1).

17. The Blackwell guide to the philosophy of computing and information

by Floridi, Luciano [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Malden : Blackwell Publishing, ©2004Availability:
Items available for reference: IIITD [REF 004.01 FLO-B] (1).

18. 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).

19. 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).

20. Inverse synthetic aperture radar imaging with MATLAB algorithms

by Ozdemir, Caner.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hoboken, NJ : Wiley, ©2012Availability:
Items available for reference: IIITD [REF 621.3848 OZD-I] (1).


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