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
	441.	Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / by Porkoláb, Zoltán [editor.] Zsók, Viktória [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 11950 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	442.	Software, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / by De Nicola, Rocco [editor.] Hennicker, Rolf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8950 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)
	443.	Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday / by Comon-Lundh, Hubert [editor.] Kirchner, Claude [editor.] Kirchner, Hélène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4600 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)
	444.	Engineering Trustworthy Software Systems [electronic resource] : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10215 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)
	445.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7007 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)
	446.	Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / by Fernandes, João M [editor.] Lämmel, Ralf [editor.] Visser, Joost [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6491 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)
	447.	Transactions on Aspect-Oriented Software Development IX [electronic resource] / by Leavens, Gary T [editor.] Chiba, Shigeru [editor.] Haupt, Michael [editor.] Ostermann, Klaus [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 7271 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)
	448.	Architecting Dependable Systems VII [electronic resource] / by Casimiro, Antonio [editor.] de Lemos, Rogério [editor.] Gacek, Cristina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6420 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)
	449.	Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / by Madeira, Alexandre [editor.] Martins, Manuel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13710 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	450.	Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings / by Thomas, Nigel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6977 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)
	451.	Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / by Durán, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7571 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)
	452.	Programming Languages and Systems [electronic resource] : 23rd European Symposium on Programming, ESOP 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 Shao, Zhong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8410 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)
	453.	Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / by Yang, Hongseok [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7078 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)
	454.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / by Calimeri, Francesco [editor.] Ianni, Giovambattista [editor.] Truszczynski, Miroslaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9345 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)
	455.	ECOOP 2011--Object-Oriented Programming [electronic resource] : 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings / by Mezini, Mira [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6813 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)
	456.	Software Reuse for Dynamic Systems in the Cloud and Beyond [electronic resource] : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings / by Schaefer, Ina [editor.] Stamelos, Ioannis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8919 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)
	457.	Fundamentals of Software Engineering [electronic resource] : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7141 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)
	458.	NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / by Brat, Guillaume [editor.] Rungta, Neha [editor.] Venet, Arnaud [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7871 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)
	459.	Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / by Van Gorp, Pieter [editor.] Ritter, Tom [editor.] Rose, Louis M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7949 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)
	460.	Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Gnesi, Stefania [editor.] Latella, Diego [editor.] Treharne, Helen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7321 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 588 results.