Your search returned 1139 results.

Results
	1121.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / by Zuck, Lenore D [editor.] Attie, Paul D [editor.] Cortesi, Agostino [editor.] Mukhopadhyay, Supratik [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2575 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)
	1122.	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / by O'Sullivan, Barry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2627 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)
	1123.	FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / by Araki, Keijiro [editor.] Gnesi, Stefania [editor.] Mandrioli, Dion [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2805 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)
	1124.	Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings / by Marchesi, Michele [editor.] Succi, Giancarlo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2675 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)
	1125.	Engineering Distributed Objects [electronic resource] : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / by Emmerich, Wolfgang [editor.] Tai, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1999 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)
	1126.	Advances in Exception Handling Techniques [electronic resource] / by Romanovsky, Alexander [editor.] Dony, Christophe [editor.] Lindskov Knudsen, Jorgen [editor.] Tripathi, Anand [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2022 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)
	1127.	Formal Syntax and Semantics of Java [electronic resource] / by Alves-Foss, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1523 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)
	1128.	Component-Based Software Engineering [electronic resource] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / by Crnkovic, Ivica [editor.] Stafford, Judith A [editor.] Schmidt, Heinz W [editor.] Wallnau, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3054 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)
	1129.	UML 2000 - The Unified Modeling Language: Advancing the Standard [electronic resource] : Third International Conference York, UK, October 2-6, 2000 Proceedings / by Evans, Andy [editor.] Kent, Stuart [editor.] Selic, Bran [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1939 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)
	1130.	UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [electronic resource] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / by Stevens, Perdita [editor.] Whittle, Jon [editor.] Booch, Grady [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2863 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)
	1131.	Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings / by Mueller, Frank [editor.] Bestavros, Azer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1474 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)
	1132.	Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / by Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2305 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)
	1133.	Foundation of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Tiuryn, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1784 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)
	1134.	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)
	1135.	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)
	1136.	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)
	1137.	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)
	1138.	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)
	1139.	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)

First
Previous
48
49
50
51
52
53
54
55
56
57

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