Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Software Engineering and su-to:Programming Techniques' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Chechik, Marsha [editor.] Wirsing, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5503 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)
	2.	Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / by Giese, Holger [editor.] Karsai, Gabor [editor.] Lee, Edward A [editor.] Rumpe, Bernhard [editor.] Schätz, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6100 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)
	3.	Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9632 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings / by Davies, Jim [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4591 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)
	5.	Programming Languages and Systems [electronic resource] : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings / by Yang, Hongseok [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10201 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / by Lilius, Johan [editor.] Penczek, Wojciech [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6128 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)
	7.	A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / by Dovier, Agostino [editor.] Pontelli, Enrico [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6125 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)
	8.	Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings / by Ueda, Kazunori [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6461 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)
	9.	Integrated Formal Methods [electronic resource] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / by Boiten, Eerke [editor.] Derrick, John [editor.] Smith, Graeme [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2999 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)
	10.	Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by Lightfoot, David [editor.] Szyperski, Clemens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4228 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)
	11.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / by Cassez, Franck [editor.] Jard, Claude [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5215 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)
	12.	Application and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / by Kristensen, Lars M [editor.] Petrucci, Laure [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6709 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)
	13.	Object-Oriented Technology. ECOOP 2008 Workshop Reader [electronic resource] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports / by Eugster, Patrick [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5475 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)
	14.	Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Castagna, Giuseppe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5502 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)
	15.	Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings / by Carro, Manuel [editor.] Peña, Ricardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5937 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)
	16.	Algebraic Informatics [electronic resource] : 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 / by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5725 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)
	17.	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)
	18.	Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / by Kordon, Fabrice [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4888 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)
	19.	Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings / by Dawar, Anuj [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6247 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)
	20.	Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / by Oliveira, Marcel Vinícius Medeiros [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5902 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 32 results.