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

Results
	641.	Search Based Software Engineering [electronic resource] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings / by Cohen, Myra B [editor.] O Cinneide, Mel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6956 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)
	642.	Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Dubois, Catherine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5668 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)
	643.	Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings / by Glück, Robert [editor.] Lowry, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3676 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)
	644.	Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / by de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Hallerstede, Stefan [editor.] Leuschel, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6286 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)
	645.	Coordination Models and Languages [electronic resource] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / by Field, John [editor.] Vasconcelos, Vasco Thudichum [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5521 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)
	646.	Principles and Practice of Constraint Programming [electronic resource] : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / by Rueher, Michel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9892 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	647.	User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / by Lamprecht, Anna-Lena [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8311 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)
	648.	Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / by Morrison, Ron [editor.] Oquendo, Flavio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3527 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)
	649.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / by Barthe, Gilles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5051 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)
	650.	Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by Bartocci, Ezio [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9333 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)
	651.	Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / by Groves, Lindsay [editor.] Sun, Jing [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8144 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)
	652.	Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers / by Gschwind, Thomas [editor.] Assmann, Uwe [editor.] Nierstrasz, Oscar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3628 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)
	653.	Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by Ciancarini, Paolo [editor.] Wiklicky, Herbert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4038 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)
	654.	Object-Oriented Technology.ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / by Südholt, Mario [editor.] Consel, Charles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4379 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)
	655.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / by Doerr, Joerg [editor.] Opdahl, Andreas L [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7830 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)
	656.	Intelligent Tutoring Systems [electronic resource] : 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings / by Ikeda, Mitsuru [editor.] Ashlay, Kevin [editor.] Chan, Tak-Wai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4053 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)
	657.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings / by Wieringa, Roel [editor.] Persson, Anne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6182 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)
	658.	Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings / by Winther, Rune [editor.] Gran, Bjoern Axel [editor.] Dahll, Gustav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3688 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)
	659.	Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / by Lanese, Ivan [editor.] Madelaine, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8997 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)
	660.	Software Architecture [electronic resource] : 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings / by Ali Babar, Muhammad [editor.] Gorton, Ian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6285 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1021 results.