Your search returned 4652 results.

Results
	4641.	Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / by Núnez, Manuel [editor.] Maamar, Zakaaria [editor.] Pelayo, Fernando [editor.] Pousttchi, Key [editor.] Rubio, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3236 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)
	4642.	Computer Security - ESORICS 2000 [electronic resource] : 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings / by Cuppens, Frederic [editor.] Deswarte, Yves [editor.] Gollmann, Dieter [editor.] Waidner, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1895 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)
	4643.	Service-Oriented Computing -- ICSOC 2003 [electronic resource] : First International Conference, Trento, Italy, December 15-18, 2003, Proceedings / by Orlowska, Maria E [editor.] Weerawarana, Sanjiva [editor.] Papazoglou, Michael P [editor.] Yang, Jian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2910 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)
	4644.	Advances in Distributed Systems [electronic resource] : Advanced Distributed Computing: From Algorithms to Systems / by Krakowiak, Sacha [editor.] Shrivastava, Santosh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1752 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)
	4645.	Mobile Agents for Telecommunication Applications [electronic resource] : 5th International Workshop, MATA 2003, Marrakech, Morocco, October 8–10, 2003 Proceedings / by Horlait, Eric [editor.] Magedanz, Thomas [editor.] Glitho, Roch H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2881 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)
	4646.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers / by Feitelson, Dror G [editor.] Rudolph, Larry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2221 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)
	4647.	Reliable Software Technologies - Ada-Europe '99 [electronic resource] : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings / by Gonzalez Harbour, Michael [editor.] de la Puente, Juan A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1622 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)
	4648.	Embedded Software [electronic resource] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / by Alur, Rajeev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2855 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)
	4649.	Parallel Computer Routing and Communication [electronic resource] : Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings / by Yalamanchili, Sudhakar [editor.] Duato, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1417 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)
	4650.	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)
	4651.	Languages and Compilers for Parallel Computing [electronic resource] : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers / by Midkiff, Samuel P [editor.] Moreira, Jose E [editor.] Gupta, Manish [editor.] Chatterjee, Siddhartha [editor.] Ferrante, Jeanne [editor.] Prins, Jan [editor.] Pugh, William [editor.] Tseng, Chau-Wen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2017 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)
	4652.	Lectures on Formal Methods and Performance Analysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures / by Brinksma, Ed [editor.] Hermanns, Holger [editor.] Katoen, Joost-Pieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2090 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)

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