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

Results
	361.	Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / by Engels, Gregor [editor.] Lewerentz, Claus [editor.] Schäfer, Wilhelm [editor.] Schürr, Andy [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5765 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)
	362.	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / by Logozzo, Francesco [editor.] Fähndrich, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7935 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)
	363.	ECOOP 2014 -- Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / by Jones, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8586 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)
	364.	Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / by Bessiere, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4741 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)
	365.	Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / by Cunha, Jácome [editor.] Fernandes, João P [editor.] Lämmel, Ralf [editor.] Saraiva, João [editor.] Zaytsev, Vadim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10223 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)
	366.	Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by Bravetti, Mario [editor.] Núñez, Manuel [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4184 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)
	367.	Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / by Biere, Armin [editor.] Nahir, Amir [editor.] Vos, Tanja [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7857 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)
	368.	Modelling -- Foundation and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings / by France, Robert B [editor.] Kuester, Jochen M [editor.] Bordbar, Behzad [editor.] Paige, Richard F [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6698 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)
	369.	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)
	370.	Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by Kobayashi, Naoki [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4279 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)
	371.	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)
	372.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by ter Beek, Maurice H [editor.] Gnesi, Stefania [editor.] Knapp, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9933 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)
	373.	Engineering Interactive Systems 2008 [electronic resource] : Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008, Proceedings / by Paternò, Fabio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5247 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)
	374.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by Graf, Susanne [editor.] Viswanathan, Mahesh [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9039 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)
	375.	Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / by Gurfinkel, Arie [editor.] Seshia, Sanjit A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9593 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)
	376.	Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / by Cabot, Jordi [editor.] Rubin, Julia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8569 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	377.	Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / by Duddy, Keith [editor.] Kappel, Gerti [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7909 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)
	378.	Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / by Cornélio, Márcio [editor.] Roscoe, Bill [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9526 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)
	379.	Formal Methods for Industrial Critical Systems [electronic resource] : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / by Kowalewski, Stefan [editor.] Roveri, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6371 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)
	380.	Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / by Kotásek, Zdeněk [editor.] Bouda, Jan [editor.] Cerná, Ivana [editor.] Sekanina, Lukas [editor.] Vojnar, Tomas [editor.] Antoš, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7119 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 509 results.