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

Results
	581.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	582.	Systems, Software and Services Process Improvement [electronic resource] : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 – September 1, 2023, Proceedings, Part I / by Yilmaz, Murat [editor.] Clarke, Paul [editor.] Riel, Andreas [editor.] Messnarz, Richard [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1890 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	583.	Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / by Bodik, Rastislav [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3443 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	584.	High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / by Daydé, Michel [editor.] Palma, José M.L.M [editor.] Couthino, Álvaro L.G.A [editor.] Pacitti, Esther [editor.] Correia Lopes, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4395 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	585.	Artificial Evolution [electronic resource] : 8th International Conference, Evolution Artificielle, EA 2007 Tours, France, October 29-31, 2007, Revised Selected Papers / by Monmarché, Nicolas [editor.] Talbi, El-Ghazali [editor.] Collet, Pierre [editor.] Schoenauer, Marc [editor.] Lutton, Evelyne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4926 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	586.	Agent-Oriented Information Systems IV [electronic resource] : 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers / by Kolp, Manuel [editor.] Henderson-Sellers, Brian [editor.] Mouratidis, Haralambos [editor.] Garcia, Alessandro [editor.] Ghose, Aditya [editor.] Bresciani, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4898 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	587.	The Semantic Web: Research and Applications [electronic resource] : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings / by Aroyo, Lora [editor.] Traverso, Paolo [editor.] Ciravegna, Fabio [editor.] Cimiano, Philipp [editor.] Heath, Tom [editor.] Hyvönen, Eero [editor.] Mizoguchi, Riichiro [editor.] Oren, Eyal [editor.] Sabou, Marta [editor.] Simperl, Elena [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5554 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	588.	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / by Abramsky, Samson [editor.] Gavoille, Cyril [editor.] Kirchner, Claude [editor.] Meyer auf der Heide, Friedhelm [editor.] Spirakis, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6198 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	589.	Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / by Broy, Manfred [editor.] Jonsson, Bengt [editor.] Katoen, Joost-Pieter [editor.] Leucker, Martin [editor.] Pretschner, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3472 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	590.	Computational Science and Its Applications – ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Taniar, David [editor.] Murgante, Beniamino [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5593 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	591.	Multi-Agent Systems and Applications IV [electronic resource] : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings / by Pechoucek, Michal [editor.] Petta, Paolo [editor.] Varga, Laszlo Zsolt [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3690 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	592.	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by Ciardo, Gianfranco [editor.] Darondeau, Philippe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3536 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	593.	Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings / by Engels, Gregor [editor.] Opdyke, Bill [editor.] Schmidt, Douglas C [editor.] Weil, Frank [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4735 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	594.	Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I / by Allen, Gabrielle [editor.] Nabrzyski, Jaroslaw [editor.] Seidel, Edward [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5544 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	595.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings / by Raskin, Jean-Francois [editor.] Thiagarajan, P.S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4763 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	596.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings / by Beck, J. Christopher [editor.] Smith, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3990 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	597.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Dillig, Isil [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10747 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	598.	Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by Howar, Falk [editor.] Barnat, Jiří [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11119 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	599.	On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Proper, Henderik A [editor.] Ardagna, Claudio Agostino [editor.] Roman, Dumitru [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11230 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	600.	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11246 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 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.