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

Results
	3801.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14571 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3802.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14572 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3803.	Fundamental Approaches to Software Engineering [electronic resource] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / by Beyer, Dirk [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14573 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3804.	Software Quality as a Foundation for Security [electronic resource] : 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23–25, 2024, Proceedings / by Bludau, Peter [editor.] Ramler, Rudolf [editor.] Winkler, Dietmar [editor.] Bergsmann, Johannes [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 505 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3805.	High-Speed Networks and Multimedia Communications [electronic resource] : 6th IEEE International Conference HSNMC 2003, Estoril, Portugal, July 23-25, 2003, Proceedings / by Freire, Mário Marques [editor.] Lorenz, Pascal [editor.] Lee, Mike Myung-Ok [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2720 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)
	3806.	Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Das, Samir R [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2918 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)
	3807.	Advances in Learning Software Organizations [electronic resource] : Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings / by Althoff, Klaus-Dieter [editor.] Feldmann, Raimund L [editor.] Müller, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2176 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)
	3808.	Unifying Petri Nets [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Juhas, Gabriel [editor.] Padberg, Julia [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2128 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)
	3809.	Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / by Wiedijk, Freek [editor.] Maler, Oded [editor.] Pnueli, Amir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2623 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)
	3810.	High Performance Computing - HiPC 2002 [electronic resource] : 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings / by Sahni, Sartaj [editor.] Prasanna, Viktor K [editor.] Shukla, Uday [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2552 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)
	3811.	SOFSEM 2002: Theory and Practice of Informatics [electronic resource] : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings / by Grosky, William I [editor.] Plasil, Frantisek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2540 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)
	3812.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III / 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 ; 2669 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)
	3813.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / by Najm, Elie [editor.] Nestmann, Uwe [editor.] Stevens, Perdita [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2884 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)
	3814.	Engineering and Deployment of Cooperative Information Systems [electronic resource] : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings / by Han, Yanbo [editor.] Tai, Stefan [editor.] Wikarski, Dietmar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2480 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)
	3815.	High-Performance Computing and Networking [electronic resource] : 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8-10, 2000 Proceedings / by Bubak, Marian [editor.] Williams, Roy [editor.] Afsarmanesh, Hamideh [editor.] Hertzberger, Bob [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1823 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)
	3816.	Advanced Distributed Systems [electronic resource] : Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers / by Ramos, Felix F [editor.] Unger, Herwig [editor.] Larios, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3061 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)
	3817.	UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools [electronic resource] : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings / by Gogolla, Martin [editor.] Kobryn, Cris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2185 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)
	3818.	Correct Hardware Design and Verification Methods [electronic resource] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings / by Pierre, Laurence [editor.] Kropf, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1703 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)
	3819.	Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / by Diaz, Josep [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Sannella, Donald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3142 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)
	3820.	Inductive Logic Programming [electronic resource] : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / by Rouveirol, Celine [editor.] Sebag, Michele [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2157 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.