Your search returned 72 results.

Results
	61.	Interactive Systems: Design, Specification, and Verification [electronic resource] : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers / by Johnson, Chris J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2220 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)
	62.	Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm [electronic resource] : 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings / by Hartenstein, Reiner W [editor.] Keevallik, Andres [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1482 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	63.	Formal Methods in Computer-Aided Design [electronic resource] : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings / by Aagaard, Mark D [editor.] O'Leary, John W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2517 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)
	64.	Parallel and Distributed Processing [electronic resource] : 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings / by Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1388 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	65.	SCI: Scalable Coherent Interface [electronic resource] : Architecture and Software for High-Performance Compute Clusters / by Hellwagner, Hermann [editor.] Reinefeld, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1734 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	66.	Dependable Computing EDCC-4 [electronic resource] : 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings / by Grandoni, Fabrizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2485 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)
	67.	Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / by Margaria, Tiziana [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2144 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)
	68.	Mobile Agents [electronic resource] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / by Picco, Gian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2240 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)
	69.	Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers / by Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] Yalamov, Plamen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2179 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)
	70.	Cooperative Environments for Distributed Systems Engineering [electronic resource] : The Distributed Systems Environment Report / by Drira, Khalil [author.] Martelli, Andrea [author.] Villemur, Thierry [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2236 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)
	71.	Concurrency and Hardware Design [electronic resource] : Advances in Petri Nets / by Cortadella, Jordi [editor.] Yakovlev, Alex [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2549 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)
	72.	Performance Evaluation: Origins and Directions [electronic resource] / by Haring, Günter [editor.] Lindemann, Christoph [editor.] Reiser, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1769 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 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