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

Results
	3961.	Advanced Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / by Zhou, Xingming [editor.] Jähnichen, Stefan [editor.] Xu, Ming [editor.] Cao, Jiannong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2834 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)
	3962.	ECOOP 2003 - Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / by Cardelli, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2743 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)
	3963.	Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Berry, Gerard [editor.] Comon, Hubert [editor.] Finkel, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2102 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)
	3964.	ZB 2002: Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] Henson, Martin C [editor.] Robinson, Ken [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2272 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)
	3965.	Active Networks [electronic resource] : First International Working Conference, IWAN'99, Berlin, Germany, June 30 - July 2, 1999, Proceedings / by Covaci, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1653 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)
	3966.	Object-Oriented Technology: ECOOP ’97 Workshop Reader [electronic resource] : ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings / by Bosch, Jan [editor.] Mitchell, Stuart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1357 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)
	3967.	Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2922 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)
	3968.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / by Vardi, Moshe [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2850 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)
	3969.	Engineering of Intelligent Systems [electronic resource] : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings / by Monostori, Laszlo [editor.] Vancza, Jozsef [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2070 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)
	3970.	Engineering for Human-Computer Interaction [electronic resource] : 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001. Revised Papers / by Little, Murray R [editor.] Nigay, Laurence [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2254 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)
	3971.	Formal Methods and Software Engineering [electronic resource] : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / by George, Chris [editor.] Miao, Huaikou [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2495 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)
	3972.	MMIXware [electronic resource] : A RISC Computer for the Third Millennium / by Knuth, Donald E [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1750 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)
	3973.	Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / by Priami, Corrado [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2874 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)
	3974.	Mobile Agents: Control Algorithms [electronic resource] / by Baumann, Joachim [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1658 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)
	3975.	Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings / by Larsen, Kim G [editor.] Skyum, Sven [editor.] Winskel, Glynn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1443 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)
	3976.	Matchmaking in Electronic Markets [electronic resource] : An Agent-Based Approach towards Matchmaking in Electronic Negotiations / by Veit, Daniel J [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2882 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)
	3977.	Relational Methods in Computer Science [electronic resource] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers / by de Swart, Harrie C.M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2561 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)
	3978.	Product Focused Software Process Improvement [electronic resource] : 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings / by Oivo, Markku [editor.] Komi-Sirviö, Seija [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2559 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)
	3979.	Practical Aspects of Declarative Languages [electronic resource] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / by Pontelli, Enrico [editor.] Vitor, Santos C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1753 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)
	3980.	Object-Oriented Technology. ECOOP'99 Workshop Reader [electronic resource] : ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings / by Moreira, Ana [editor.] Demeyer, Serge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1743 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.