Results of search for 'ccl=su:{Programming and Software Development}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	661.	Object-Oriented Information Systems [electronic resource] : 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings / by Bellahsene, Zohra [editor.] Patel, Dilip [editor.] Rolland, Colette [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2425 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)
	662.	Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / by Wang, Farn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3299 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)
	663.	Advanced Symbolic Analysis for Compilers [electronic resource] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization / by Fahringer, Thomas [author.] Scholz, Bernhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2628 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)
	664.	Applied Formal Methods - FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / by Hutter, Dieter [editor.] Stephan, Werner [editor.] Traverso, Paolo [editor.] Ullmann, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1641 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)
	665.	Fundamental Approaches to Software Engineering [electronic resource] : Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings / by Finance, Jean-Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1577 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)
	666.	Computer Safety, Reliability, and Security [electronic resource] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / by Anderson, Stuart [editor.] Felici, Massimo [editor.] Littlewood, Bev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2788 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)
	667.	Fundamental Approaches to Software Engineering [electronic resource] : 5th International Conference, FASE 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 Kutsche, Ralf-Detlef [editor.] Weber, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2306 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)
	668.	Reliable Software Technologies - Ada-Europe 2002 [electronic resource] : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings / by Blieberger, Johann [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2361 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)
	669.	Automated Deduction - CADE-18 [electronic resource] : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / by Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2392 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)
	670.	Issues in Agent Communication [electronic resource] / by Dignum, Frank [editor.] Greaves, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1916 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)
	671.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / by Furbach, Ulrich [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1265 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)
	672.	Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher [editor.] Gordon-Spears, Diana [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2699 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)
	673.	Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings / by Anderson, Michael [editor.] Cheng, Peter [editor.] Haarslev, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1889 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)
	674.	Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part I / by Kakas, A.C [editor.] Sadri, F [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2407 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)
	675.	Multiagent System Technologies [electronic resource] : First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / by Schillo, Michael [editor.] Klusch, Matthias [editor.] Müller, Jörg [editor.] Tianfield, Huaglory [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2831 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)
	676.	Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / by Dong, Jin Song [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2885 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)
	677.	Intelligent Agents VII. Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / by Castelfranchi, Cristiano [editor.] Lesperance, Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1986 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)
	678.	Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 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 Pezzè, Mauro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2621 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)
	679.	Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings / by Mössenböck, Hanspeter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1204 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)
	680.	Object-Oriented Technology. ECOOP '98 Workshop Reader [electronic resource] : ECOOP'98 Workshop, Demos, and Posters Brussels, Belgium, July 20-24, 1998 Proceedings / by Demeyer, Serge [editor.] Bosch, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1543 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 726 results.