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
	861.	Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2987 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	862.	Database Systems for Advanced Applications. DASFAA 2023 International Workshops [electronic resource] : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings / by El Abbadi, Amr [editor.] Dobbie, Gillian [editor.] Feng, Zhiyong [editor.] Chen, Lu [editor.] Tao, Xiaohui [editor.] Shao, Yingxia [editor.] Yin, Hongzhi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13922 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)
	863.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / by Katsaros, Panagiotis [editor.] Nenzi, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14245 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)
	864.	Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / by Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Ingólfsdóttir, Anna [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10460 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)
	865.	Transactions on Foundations for Mastering Change I [electronic resource] / by Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Transactions on Foundations for Mastering Change ; 9960 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)
	866.	Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by Kreowski, Hans-Jörg [editor.] Montanari, Ugo [editor.] Orejas, Fernando [editor.] Rozenberg, Grzegorz [editor.] Taentzer, Gabriele [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3393 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)
	867.	Transactions on Modularity and Composition I [electronic resource] / by Chiba, Shigeru [editor.] Südholt, Mario [editor.] Eugster, Patrick [editor.] Ziarek, Lukasz [editor.] Leavens, Gary T [editor.] SpringerLink (Online service) Series: Transactions on Modularity and Composition ; 9800 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)
	868.	Domain-Specific Program Generation [electronic resource] : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / by Lengauer, Christian [editor.] Batory, Don [editor.] Consel, Charles [editor.] Odersky, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3016 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	869.	ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / by Katoen, Joost-Pieter [editor.] Langerak, Rom [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10500 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)
	870.	Foundations of Security, Protocols, and Equational Reasoning [electronic resource] : Essays Dedicated to Catherine A. Meadows / by Guttman, Joshua D [editor.] Landwehr, Carl E [editor.] Meseguer, José [editor.] Pavlovic, Dusko [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11565 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	871.	Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Puppis, Gabriele [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5955 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)
	872.	Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / by Bernardo, Marco [editor.] Padovani, Luca [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5569 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)
	873.	Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Müller-Olm, Markus [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3800 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)
	874.	Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / by Soós, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5161 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)
	875.	Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / by Erdem, Esra [editor.] Lee, Joohyung [editor.] Lierler, Yuliya [editor.] Pearce, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7265 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)
	876.	Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / by Lämmel, Ralf [editor.] Saraiva, João [editor.] Visser, Joost [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4143 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)
	877.	Transactions on Aspect-Oriented Software Development XI [electronic resource] / by Chiba, Shigeru [editor.] Tanter, Éric [editor.] Bodden, Eric [editor.] Maoz, Shahar [editor.] Kienzle, Jörg [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 8400 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)
	878.	Conceptual Modeling: Foundations and Applications [electronic resource] : Essays in Honor of John Mylopoulos / by Borgida, Alex T [editor.] Chaudhri, Vinay [editor.] Giorgini, Paolo [editor.] Yu, Eric [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5600 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)
	879.	Transactions on Aspect-Oriented Software Development V [electronic resource] : Focus: Aspects, Dependencies and Interactions. by SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 5490 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)
	880.	Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / by Lämmel, Ralf [editor.] Saraiva, João [editor.] Visser, Joost [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7680 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1139 results.