Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	4301.	Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Report Selected Papers / by Meyer, John-Jules C [editor.] Schobbens, Pierre-Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1760 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)
	4302.	SOFSEM '98: Theory and Practice of Informatics [electronic resource] : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings / by Rovan, Branislav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1521 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)
	4303.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers / by Cortesi, Agostino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2294 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)
	4304.	String Processing and Information Retrieval [electronic resource] : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings / by Nascimento, Mario A [editor.] Moura, Edleno S. de [editor.] Oliveira, Arlindo L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2857 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)
	4305.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Margaria, Tiziana [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2031 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)
	4306.	Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings / by Gutknecht, Jürg [editor.] Weck, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1897 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)
	4307.	Programming Languages and Systems [electronic resource] : 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Degano, Pierpaolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2618 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)
	4308.	OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings / by Eigenmann, Rudolf [editor.] Voss, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2104 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)
	4309.	Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / by Brebner, Gordon [editor.] Woods, Roger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2147 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)
	4310.	Inductive Logic Programming [electronic resource] : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings / by Dzeroski, Saso [editor.] Flach, Peter A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1634 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)
	4311.	Mathematics of Program Construction [electronic resource] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / by Jeuring, Johan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1422 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)
	4312.	Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / by Bossi, Annalisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1817 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)
	4313.	Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings / by Sventek, Joseph [editor.] Coulson, Geoffrey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1795 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)
	4314.	Genetic Programming [electronic resource] : Second European Workshop, EuroGP'99, Göteborg, Sweden, May 26-27, 1999, Proceedings / by Poli, Riccardo [editor.] Nordin, Peter [editor.] Langdon, William B [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1598 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)
	4315.	Recent Trends in Algebraic Development Techniques [electronic resource] : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers / by Fiadeiro, Jose L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1589 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)
	4316.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 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 Graf, Susanne [editor.] Schwartzbach, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1785 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)
	4317.	RoboCup 2000: Robot Soccer World Cup IV [electronic resource] / by Stone, Peter [editor.] Balch, Tucker [editor.] Kraetzschmar, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2019 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)
	4318.	SOFSEM '97: Theory and Practice of Informatics [electronic resource] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / by Plasil, Frantisek [editor.] Jeffery, Keith G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1338 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)
	4319.	Advanced Information Systems Engineering [electronic resource] : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings / by Wangler, Benkt [editor.] Bergman, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1789 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)
	4320.	ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] King, Steve [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2651 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.