Results of search for 'ccl=su:{Computer Science.} and su-to:Computer science and su-to:Computer Science Logic and Foundations of Programming and su-to:Programming Techniques' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	201.	Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / by Veanes, Margus [editor.] Vigano, Luca [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7942 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)
	202.	ECOOP 2008 - Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings / by Vitek, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5142 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)
	203.	CONCUR 2007 - Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings / by Caires, Luís [editor.] Vasconcelos, Vasco T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4703 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)
	204.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings / by Jurdzinski, Marcin [editor.] Nickovic, Dejan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7595 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)
	205.	Transactions on Aspect-Oriented Software Development VIII [electronic resource] / by Katz, Shmuel [editor.] Mezini, Mira [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 6580 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)
	206.	Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / by Johnson, Michael [editor.] Pavlovic, Dusko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6486 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)
	207.	Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / by Liu, Shaoying [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7787 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)
	208.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings / by Chatterjee, Krishnendu [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6246 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)
	209.	Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / by Havelund, Klaus [editor.] Majumdar, Rupak [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5156 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)
	210.	Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / by Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5700 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)
	211.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / by Baral, Chitta [editor.] Greco, Gianluigi [editor.] Leone, Nicola [editor.] Terracina, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3662 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)
	212.	Perspectives of Systems Informatics [electronic resource] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers / by Pnueli, Amir [editor.] Virbitskaite, Irina [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5947 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)
	213.	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)
	214.	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)
	215.	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)
	216.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings / by Fahrenberg, Uli [editor.] Tripakis, Stavros [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6919 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)
	217.	Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / by Padgham, Lin [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4405 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)
	218.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / by Bonsangue, Marcello M [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4468 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)
	219.	Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / by Backhouse, Roland [editor.] Gibbons, Jeremy [editor.] Hinze, Ralf [editor.] Jeuring, Johan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4719 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)
	220.	Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Giannakopoulou, Dimitra [editor.] Orejas, Fernando [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6603 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 588 results.