Your search returned 4435 results.

Results
	4421.	ZUM '98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / by Bowen, Jonathan P [editor.] Fett, Andreas [editor.] Hinchey, Michael G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1493 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)
	4422.	System Configuration Management [electronic resource] : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings / by Magnusson, Boris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1439 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)
	4423.	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)
	4424.	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)
	4425.	Advanced Functional Programming [electronic resource] : Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures / by Swierstra, S. Doaitse [editor.] Henriques, Pedro R [editor.] Oliveira, Jose N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1608 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)
	4426.	Web, Web-Services, and Database Systems [electronic resource] : NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers / by Chaudhri, Akmal [editor.] Jeckle, Mario [editor.] Rahm, Erhard [editor.] Unland, Rainer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2593 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)
	4427.	UML'99 - The Unified Modeling Language: Beyond the Standard [electronic resource] : Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings / by France, Robert B [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1723 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)
	4428.	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)
	4429.	Extreme Programming and Agile Methods - XP/Agile Universe 2002 [electronic resource] : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings / by Wells, Don [editor.] Williams, Lauris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2418 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)
	4430.	ECOOP '97 - Object-Oriented Programming [electronic resource] : 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings / by Aksit, Mehmed [editor.] Matsuoka, Satoshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1241 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4431.	Genetic Programming [electronic resource] : 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18–20, 2001 Proceedings / by Miller, Julian F [editor.] Tomassini, Marco [editor.] Lanzi, Pier Luca [editor.] Ryan, Conor [editor.] Tettamanzi, Andrea G.B [editor.] Langdon, William B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2038 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)
	4432.	Applied Parallel Computing. Large Scale Scientific and Industrial Problems [electronic resource] : 4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings / by Kagström, Bo [editor.] Dongarra, Jack [editor.] Elmroth, Erik [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1541 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)
	4433.	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)
	4434.	On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2003 Catania, Sicily, Italy, November 3–7, 2003 Proceedings / by Tari, Zahir [editor.] Schmidt, Douglas C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2888 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)
	4435.	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