Your search returned 15 results.

Results
	1.	Field-Programmable Logic, Smart Applications, New Paradigms and Compilers [electronic resource] : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings / by Hartenstein, Reiner W [editor.] Glesner, Manfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1142 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Field Programmable Logic and Applications [electronic resource] : 13th International Conference, FPL 2003 Lisbon, Portugal, September 1–3, 2003 Proceedings / by Cheung, Peter Y.K [editor.] Constantinides, Georg A [editor.] Sousa, Jose T. de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2778 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	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)
	4.	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)
	5.	Field-Programmable Logic and Applications [electronic resource] : 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings / by Moore, Will [editor.] Luk, Wayne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 975 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)
	6.	Power-Aware Computer Systems [electronic resource] : Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers / by Falsafi, Babak [editor.] Vijaykumar, T. N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3164 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	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)
	8.	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)
	9.	Power-Aware Computer Systems [electronic resource] : First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers / by Falsafi, B [editor.] Vijaykumar, T.N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2008 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Power-Aware Computer Systems [electronic resource] : Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers / by Falsafi, Babak [editor.] Vijaykumar, T.N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2325 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	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)
	12.	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)
	13.	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)
	14.	Field-Programmable Logic: Architectures, Synthesis and Applications [electronic resource] : 4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings / by Hartenstein, Reiner W [editor.] Servit, Michal Z [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 849 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)
	15.	Power-Aware Computer Systems [electronic resource] : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers / by Falsafi, Babak [editor.] Vijaykumar, T.N [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3471 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 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