Results of search for 'ccl=su:{Computer Science } and itype:SPRINGER and se:Programming and Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	461.	Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by Van Roy, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3389 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)
	462.	Quality of Software Architectures Models and Architectures [electronic resource] : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / by Becker, Steffen [editor.] Plasil, Frantisek [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5281 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)
	463.	Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings / by France, Robert B [editor.] Kazmeier, Jürgen [editor.] Breu, Ruth [editor.] Atkinson, Colin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7590 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)
	464.	Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / by Glück, Robert [editor.] Yokoyama, Tetsuo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7581 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)
	465.	Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 / by van Beek, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3709 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)
	466.	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / by Bernardo, Marco [editor.] Cimatti, Alessandro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3965 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)
	467.	Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 / by Aichernig, Bernhard K [editor.] de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6957 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)
	468.	Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings / by Salaün, Gwen [editor.] Schätz, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6959 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)
	469.	FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by Fitzgerald, John [editor.] Hayes, Ian J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3582 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)
	470.	Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings / by Taha, Walid Mohamed [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5658 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)
	471.	Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings / by Saglietti, Francesca [editor.] Oster, Norbert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4680 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)
	472.	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Meyer, Bertrand [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4171 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)
	473.	Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings / by Paige, Richard F [editor.] Hartman, Alan [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5562 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)
	474.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by Gorrieri, Roberto [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4037 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)
	475.	Advanced Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / by Müller, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6029 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)
	476.	Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings / by Peled, Doron A [editor.] Tsay, Yih-Kuen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3707 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)
	477.	Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings / by Drira, Khalil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7957 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)
	478.	Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / by Harrison, Michael Douglas [editor.] Sujan, Mark-Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5219 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)
	479.	Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings / by Sagonas, Kostis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7752 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)
	480.	Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers / by Aßmann, Uwe [editor.] Aksit, Mehmet [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3599 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 669 results.