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

Results
	3941.	High Performance Computing - HiPC'99 [electronic resource] : 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings / by Banerjee, Prith [editor.] Prasanna, Viktor K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1745 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)
	3942.	Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Bertot, Yves [editor.] Dowek, Gilles [editor.] Hirschowitz, Andre [editor.] Paulin, Christine [editor.] Thery, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1690 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)
	3943.	Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings / by Maurer, Frank [editor.] Wells, Don [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2753 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)
	3944.	Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Aagaard, Mark [editor.] Harrison, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1869 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)
	3945.	ECOOP 2001 - Object-Oriented Programming [electronic resource] : 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings / by Lindskov Knudsen, Jorgen [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2072 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)
	3946.	Computer Vision Systems [electronic resource] : Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings / by Schiele, Bernt [editor.] Sagerer, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2095 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)
	3947.	Software Engineering - ESEC/FSE '99 [electronic resource] : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings / by Nierstrasz, Oskar [editor.] Lemoine, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1687 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)
	3948.	Multi-Agent Systems and Applications [electronic resource] : 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers / by Luck, Michael [editor.] Marik, Vladimir [editor.] Stepankova, Olga [editor.] Trappl, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2086 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)
	3949.	Types in Compilation [electronic resource] : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / by Leroy, Xavier [editor.] Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1473 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)
	3950.	ECOOP '99 - Object-Oriented Programming [electronic resource] : 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings / by Guerraoui, Rachid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1628 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)
	3951.	Advances in Object-Oriented Information Systems [electronic resource] : OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings / by Bruel, Jean-Michel [editor.] Bellahsene, Zohra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2426 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)
	3952.	Interactive Systems: Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 / by Urban, Bodo [editor.] Vanderdonckt, Jean [editor.] Limbourg, Quentin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2545 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)
	3953.	Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Grundy, Jim [editor.] Newey, Malcolm [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1479 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)
	3954.	Conceptual Modeling -- ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings / by Song, Il-Yeol [editor.] Liddle, Stephen W [editor.] Ling, Tok Wang [editor.] Scheuermann, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2813 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)
	3955.	Mobile Agents [electronic resource] : First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings / by Rothermel, Kurt [editor.] Popescu-Zeletin, Radu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1219 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)
	3956.	Group Communications and Charges; Technology and Business Models [electronic resource] : 5th COST264 International Workshop on Networked Group Communications, NGC 2003, and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003 Proceedings / by Stiller, Burkhard [editor.] Carle, Georg [editor.] Karsten, Martin [editor.] Reichl, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2816 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)
	3957.	Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / by Gupta, Gopal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1551 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)
	3958.	Web Engineering [electronic resource] : Managing Diversity and Complexity of Web Application Development / by Murugesan, San [editor.] Deshpande, Yogesh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2016 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)
	3959.	Principles and Practice of Constraint Programming - CP'99 [electronic resource] : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings / by Jaffar, Joxan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1713 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)
	3960.	Parallel Computing Technologies [electronic resource] : 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2763 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.