Your search returned 17 results.

Results
	1.	Digital principles and applications by Leach, Donald P Malvino, Albert Paul Saha, Gautam Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Tata McGraw Hill, 2009 Availability: Items available for loan: IIITD (1)Call number: 621.381 LEA-D. Place hold Add to cart (remove)
	2.	The fourth paradigm : data-intensive scientific discovery by Hey, Anthony J. G Tansley, Stewart Tolle, Kristin Michele Material type: Text; Format: print available online ; Literary form: Not fiction Publication details: Redmond, Wash. : Microsoft Research, c2009 Online access: Microsoft Research Web site Availability: Items available for loan: IIITD (3)Call number: 005.74 HEY-F, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.74 HEY-F. Place hold Add to cart (remove)
	3.	Make: paper inventions : machines that move, drawings that light up, and wearables and structures you can cut, fold, and roll by Ceceri, Kathy Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Shroff Publishers & Distributors, ©2015 Other title: Paper inventions Availability: Items available for loan: IIITD (1)Call number: 745.54 CEC-M. Items available for reference: IIITD: Not for loan (1)Call number: REF 745.54 CEC-M. Place hold Add to cart (remove)
	4.	Real-time object uniform design methodology with UML by Duc, Bui Minh Material type: Text; Format: print ; Literary form: Not fiction Publication details: Netherland : Springer, ©2007 Availability: Items available for loan: IIITD (1)Call number: REF 005.2732 DUC-R. Place hold Add to cart (remove)
	5.	Electronic Government [electronic resource] : First International Conference, EGOV 2002, Aix-en-Provence, France, September 2-5, 2002. Proceedings / by Traunmüller, Roland [editor.] Lenk, Klaus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2456 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings / by Leeser, Miriam [editor.] Brown, Geoffrey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 408 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Correct Hardware Design and Verification Methods [electronic resource] : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings / by Camurati, Paolo Enrico [editor.] Eveking, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 987 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Computer Aided Verification [electronic resource] : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings / by Wolper, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 939 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Integrated Circuit and System Design [electronic resource] : Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings / by Macii, Enrico [editor.] Paliouras, Vassilis [editor.] Koufopavlou, Odysseas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3254 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Computer Aided Verification [electronic resource] : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings / by Dill, David L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 818 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Memory Management [electronic resource] : International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings / by Baker, Henry G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 986 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Theorem Provers in Circuit Design: Theory, Practice and Experience [electronic resource] : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings / by Kumar, Ramayya [editor.] Kropf, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 901 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Computer Aided Verification [electronic resource] : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings / by Bochmann, Gregor von [editor.] Probst, David K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 663 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Computer Aided Verification [electronic resource] : 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings / by Courcoubetis, Costas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 697 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Higher-Level Hardware Synthesis [electronic resource] / by Sharp, Richard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2963 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Automated Modeling of Physical Systems [electronic resource] / by Nayak, P. Pandurang [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1003 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Smart Card Research and Advanced Applications [electronic resource] : 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008, Proceedings / by Grimaud, Gilles [editor.] Standaert, François-Xavier [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5189 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha