Results of search for 'ccl=su:{Software engineering} and se:Lecture Notes in Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	741.	Mobile Agents [electronic resource] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / by Picco, Gian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2240 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)
	742.	Algorithm Theory - SWAT'98 [electronic resource] : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / by Arnborg, Stefan [editor.] Ivansson, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1432 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)
	743.	High Performance Computing - HiPC 2000 [electronic resource] : 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings / by Valero, Mateo [editor.] Prasanna, Viktor K [editor.] Vajapeyam, Sriram [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1970 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)
	744.	Development and Evolution of Software Architectures for Product Families [electronic resource] : Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26–27, 1998, Proceedings / by Linden, Frank van der [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1429 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)
	745.	On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] / by Pflanz, Matthias [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2270 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)
	746.	Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Bachmair, Leo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1833 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)
	747.	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)
	748.	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)
	749.	Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / by Brinksma, Ed [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2404 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)
	750.	Business Process Management [electronic resource] : Models, Techniques, and Empirical Studies / by Aalst, Wil, van der [editor.] Desel, Jörg [editor.] Oberweis, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1806 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)
	751.	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)
	752.	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)
	753.	Reliable Software Technologies - Ada-Europe 2001 [electronic resource] : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings / by Craeynest, Dirk [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2043 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)
	754.	Programming Languages and Systems [electronic resource] : 10th European Symposium on Programming, ESOP 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 Sands, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2028 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)
	755.	Grid Computing - GRID 2001 [electronic resource] : Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings / by Lee, Craig A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2242 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)
	756.	Application and Theory of Petri Nets 2002 [electronic resource] : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings / by Esparza, Javier [editor.] Lakos, Charles [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2360 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)
	757.	Types for Proofs and Programs [electronic resource] : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers / by Geuvers, Herman [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2646 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)
	758.	Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings / by Privara, Igor [editor.] Ruzicka, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1295 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)
	759.	Trust Management [electronic resource] : First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings / by Nixon, Paddy [editor.] Terzis, Sotirios [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2692 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)
	760.	Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / by Backhouse, Roland [editor.] Nuno Oliveira, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1837 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 892 results.