Results of search for 'ccl=su:{Compilers and Interpreters.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	381.	Advances in Natural Language Processing [electronic resource] : 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings / by Ranta, Aarne [editor.] Nordström, Bengt [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5221 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)
	382.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / by Ayala, José L [editor.] Shang, Delong [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7606 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)
	383.	Reliable Software Technologies -- Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings / by Pinho, Luís Miguel [editor.] González Harbour, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4006 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)
	384.	Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings / by Baumeister, Hubert [editor.] Marchesi, Michele [editor.] Holcombe, Mike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3556 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)
	385.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 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 Piterman, Nir [editor.] Smolka, Scott [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7795 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)
	386.	It's All About Coordination [electronic resource] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / by de Boer, Frank [editor.] Bonsangue, Marcello [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10865 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	387.	Coordination Models and Languages [electronic resource] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by Holvoet, Tom [editor.] Viroli, Mirko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9037 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)
	388.	Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings / by Krishnamurthi, Shriram [editor.] Odersky, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4420 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)
	389.	Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by Giesl, Jürgen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3467 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)
	390.	Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings / by Rauber Du Bois, Andre [editor.] Trinder, Phil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8129 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)
	391.	Model Driven Engineering Languages and Systems [electronic resource] : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings / by Schürr, Andy [editor.] Selic, Bran V [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5795 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)
	392.	Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / by Schrijvers, Tom [editor.] Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7294 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)
	393.	Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bouyssounouse, Bruno [editor.] Sifakis, Joseph [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3436 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)
	394.	Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / by Gheyi, Rohit [editor.] Naumann, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7498 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)
	395.	Programming Languages and Systems [electronic resource] : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / by Feng, Xinyu [editor.] Park, Sungwoo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9458 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)
	396.	CONCUR 2005 - Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings / by Abadi, Martín [editor.] de Alfaro, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3653 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)
	397.	Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / by Bouajjani, Ahmed [editor.] Chin, Wei-Ngan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6252 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)
	398.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by D'Souza, Deepak [editor.] Lal, Akash [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8931 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	399.	Scalable Uncertainty Management [electronic resource] : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings / by Greco, Sergio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5291 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)
	400.	Fundamental Approaches to Software Engineering [electronic resource] : 7th International Conference, FASE 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 Wermelinger, Michel [editor.] Margaria-Steffen, Tiziana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2984 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1503 results.