Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Engineering and su-to:Compilers Computer programs ' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	881.	Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / by Agha, Gul [editor.] Igarashi, Atsushi [editor.] Kobayashi, Naoki [editor.] Masuhara, Hidehiko [editor.] Matsuoka, Satoshi [editor.] Shibayama, Etsuya [editor.] Taura, Kenjiro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8665 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)
	882.	Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures / by Bernardo, Marco [editor.] Issarny, Valerie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6659 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)
	883.	Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by Barnes, John [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5020 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)
	884.	Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / by Zsók, Viktória [editor.] Horváth, Zoltán [editor.] Plasmeijer, Rinus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7241 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)
	885.	Language Engineering and Rigorous Software Development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers / by Bove, Ana [editor.] Barbosa, Luis Soares [editor.] Pardo, Alberto [editor.] Pinto, Jorge Sousa [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5520 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)
	886.	Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / by Iida, Shusaku [editor.] Meseguer, José [editor.] Ogata, Kazuhiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8373 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)
	887.	Transactions on Pattern Languages of Programming II [electronic resource] : Special lssue on Applying Patterns / by Avgeriou, Paris [editor.] Harrison, Neil B [editor.] Zdun, Uwe [editor.] SpringerLink (Online service) Series: Transactions on Pattern Languages of Programming ; 6510 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)
	888.	All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program, and Verify Systems in Rewriting Logic / by Clavel, Manuel [author.] Durán, Francisco [author.] Eker, Steven [author.] Lincoln, Patrick [author.] Martí-Oliet, Narciso [author.] Meseguer, José [author.] Talcott, Carolyn [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4350 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)
	889.	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)
	890.	Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / by Hermenegildo, Manuel V [editor.] Morales, José F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14284 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)
	891.	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)
	892.	Transactions on Aspect-Oriented Software Development III [electronic resource] : Focus: Early Aspects / by Rashid, Awais [editor.] Aksit, Mehmet [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 4620 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)
	893.	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)
	894.	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)
	895.	Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / by Probst, Christian W [editor.] Hankin, Chris [editor.] Hansen, René Rydhof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9560 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)
	896.	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)
	897.	Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / by van der Aalst, Wil M. P [editor.] Ajmone Marsan, Marco [editor.] Franceschinis, Giuliana [editor.] Kleijn, Jetty [editor.] Kristensen, Lars M [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 7400 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)
	898.	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)
	899.	Transactions on Pattern Languages of Programming I [electronic resource] / by Noble, James [editor.] Johnson, Ralph [editor.] SpringerLink (Online service) Series: Transactions on Pattern Languages of Programming ; 5770 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)
	900.	Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / by Koopman, Pieter [editor.] Swierstra, Doaitse [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5832 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 1139 results.