Results of search for 'ccl=Provider:Springer, and se:Programming and Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	741.	Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / by Engels, Gregor [editor.] Lewerentz, Claus [editor.] Schäfer, Wilhelm [editor.] Schürr, Andy [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5765 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)
	742.	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / by Logozzo, Francesco [editor.] Fähndrich, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7935 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	743.	Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / by Bravetti, Mario [editor.] Bultan, Tevfik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6551 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	744.	Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures / by Cavalcanti, Ana [editor.] Sampaio, Augusto [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3167 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)
	745.	ECOOP 2014 -- Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / by Jones, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8586 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	746.	Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / by Bessiere, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4741 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)
	747.	Recent Advances in the Message Passing Interface [electronic resource] : 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings / by Träff, Jesper Larsson [editor.] Benkner, Siegfried [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7490 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	748.	Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / by Cunha, Jácome [editor.] Fernandes, João P [editor.] Lämmel, Ralf [editor.] Saraiva, João [editor.] Zaytsev, Vadim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10223 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	749.	Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures / by De Lucia, Andrea [editor.] Ferrucci, Filomena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7171 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	750.	Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers / by Liu, Zhiming [editor.] Wassyng, Alan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7151 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	751.	Ada 2012 Rationale [electronic resource] : The Language -- The Standard Libraries / by Barnes, John [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8338 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	752.	Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by Bravetti, Mario [editor.] Núñez, Manuel [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4184 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)
	753.	Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / by Biere, Armin [editor.] Nahir, Amir [editor.] Vos, Tanja [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7857 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	754.	Modelling -- Foundation and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings / by France, Robert B [editor.] Kuester, Jochen M [editor.] Bordbar, Behzad [editor.] Paige, Richard F [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6698 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	755.	Fun and Games [electronic resource] : Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings / by Markopoulos, Panos [editor.] IJsselsteijn, Wijnand [editor.] Rowland, Duncan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5294 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)
	756.	Principles and Practice of Constraint Programming [electronic resource] : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / by Pesant, Gilles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9255 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	757.	High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 / by Mei, Hong [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5030 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)
	758.	Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / by Romijn, Judi M.T [editor.] Smith, Graeme P [editor.] van de Pol, Jaco C [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3771 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)
	759.	Logic Programming [electronic resource] : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / by Banda, Maria Garcia [editor.] Pontelli, Enrico [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5366 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)
	760.	Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by Kobayashi, Naoki [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4279 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1025 results.