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
	4221.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I / by Kumar, Vipin [editor.] Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] L'Ecuyer, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2667 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)
	4222.	Distributed Computing [electronic resource] : 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings / by Kutten, Shay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1499 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)
	4223.	ECOOP 2000 - Object-Oriented Programming [electronic resource] : 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / by Bertino, Elisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1850 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)
	4224.	Theorem Proving in Higher Order Logics [electronic resource] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / by Gunter, Elsa L [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1275 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)
	4225.	Advanced Information Systems Engineering [electronic resource] : 11th International Conference, CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings / by Jarke, Matthias [editor.] Oberweis, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1626 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)
	4226.	Embedded Software [electronic resource] : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / by Sangiovanni-Vincentelli, Alberto [editor.] Sifakis, Joseph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2491 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)
	4227.	Advanced Information Systems Engineering [electronic resource] : 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings / by Pernici, Barbara [editor.] Thanos, Constantino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1413 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)
	4228.	High-Performance Computing and Networking [electronic resource] : 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings / by Hertzberger, Bob [editor.] Hoekstra, Alfons [editor.] Williams, Roy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2110 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)
	4229.	Advances in Learning Software Organizations [electronic resource] : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers / by Henninger, Scott [editor.] Maurer, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2640 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)
	4230.	Coordination Technology for Collaborative Applications [electronic resource] : Organizations, Processes, and Agents / by Conen, Wolfram [editor.] Neumann, Gustaf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1364 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)
	4231.	Grid Computing - GRID 2000 [electronic resource] : First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings / by Buyya, Rajkumar [editor.] Baker, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1971 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)
	4232.	Distributed Communities on the Web [electronic resource] : 4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002, Revised Papers / by Plaice, John [editor.] Kropf, Peter [editor.] Schulthess, Peter [editor.] Slonim, Jacob [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2468 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)
	4233.	Active Networks [electronic resource] : Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16-18, 2000 Proceedings / by Yasuda, Hiroshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1942 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)
	4234.	Performance Evaluation of Complex Systems: Techniques and Tools [electronic resource] : Performance 2002. Tutorial Lectures / by Calzarossa, Maria Carla [editor.] Tucci, Salvatore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2459 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)
	4235.	Process Algebra and Probabilistic Methods: Performance Modeling and Verification [electronic resource] : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / by Hermanns, Holger [editor.] Segala, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2399 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)
	4236.	Fundamental Approaches to Software Engineering [electronic resource] : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Astesiano, Egidio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1382 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)
	4237.	FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / by Oliveira, Jose N [editor.] Zave, Pamela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2021 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)
	4238.	Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / by Jorge, Joaquim [editor.] Jardim Nunes, Nuno [editor.] Falcao e Cunha, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2844 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)
	4239.	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)
	4240.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.