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

Results
	2001.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8–11, 2024, Proceedings / by Mendez, Daniel [editor.] Moreira, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14588 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)
	2002.	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 I / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14570 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)
	2003.	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)
	2004.	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)
	2005.	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)
	2006.	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)
	2007.	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)
	2008.	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)
	2009.	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)
	2010.	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)
	2011.	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)
	2012.	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)
	2013.	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)
	2014.	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)
	2015.	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)
	2016.	Research and Advanced Technology for Digital Libraries [electronic resource] : First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings / by Thanos, Costantino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1324 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)
	2017.	Adaptive Agents and Multi-Agent Systems [electronic resource] : Adaptation and Multi-Agent Learning / by Alonso, Eduardo [editor.] Kudenko, Daniel [editor.] Kazakov, Dimitar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2636 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)
	2018.	Mobile Agents [electronic resource] : 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings / by Suri, Niranjan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2535 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)
	2019.	Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Comon, Hubert [editor.] Marche, Claude [editor.] Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2002 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)
	2020.	Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / by Cortadella, Jordi [editor.] Reisig, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3099 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 2443 results.