Results of search for 'ccl=su:{Logic} and su-to:Software Engineering and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	581.	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)
	582.	Software Language Engineering [electronic resource] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers / by van den Brand, Mark [editor.] Gasevic, Dragan [editor.] Gray, Jeff [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5969 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)
	583.	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)
	584.	Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / by Paschke, Adrian [editor.] Governatori, Guido [editor.] Hall, John [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5858 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)
	585.	Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7794 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)
	586.	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)
	587.	Reversible Computation [electronic resource] : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers / by De Vos, Alexis [editor.] Wille, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7165 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)
	588.	Implementation and Application of Automata [electronic resource] : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings / by Carayol, Arnaud [editor.] Nicaud, Cyril [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10329 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)
	589.	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)
	590.	Modelling Foundations and Applications [electronic resource] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings / by Kühne, Thomas [editor.] Selic, Bran V [editor.] Gervais, Marie-Pierre [editor.] Terrier, Francois [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6138 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)
	591.	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)
	592.	Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Muscholl, Anca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8412 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)
	593.	Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / by Baudry, Michel [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6144 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)
	594.	Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings / by Bruni, Roberto [editor.] Dingel, Juergen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6722 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)
	595.	Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / by Ghilardi, Silvio [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5749 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)
	596.	Rapid Integration of Software Engineering Techniques [electronic resource] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by Guelfi, Nicolas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3475 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)
	597.	Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / by Gabmeyer, Sebastian [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10375 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)
	598.	Model Driven Architecture - Foundations and Applications [electronic resource] : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings / by Hartman, Alan [editor.] Kreische, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3748 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)
	599.	Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / by Beringer, Lennart [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7406 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)
	600.	Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 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 Huisman, Marieke [editor.] Rubin, Julia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10202 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1436 results.