Results of search for 'ccl=su:{Theory of Computation.} and su-to:Programming Techniques and su-to:Computer Science and su-to:Compilers Computer programs and su-to:Compilers and Interpreters' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers / by Voronkov, Andrei [editor.] Virbitskaite, Irina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4378 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)
	82.	Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings / by Ibarra, Oscar H [editor.] Ravikumar, Bala [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5148 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)
	83.	Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers / by Martin-Vide, Carlos [editor.] Otto, Friedrich [editor.] Fernau, Henning [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5196 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)
	84.	Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / by Kratochvil, Jan [editor.] Li, Angsheng [editor.] Fiala, Jiri [editor.] Kolman, Petr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6108 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)
	85.	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)
	86.	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)
	87.	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)
	88.	Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings / by Li, Yi [editor.] Tahar, Sofiène [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14308 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	89.	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)
	90.	Programming Languages and Systems [electronic resource] : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings / by Hur, Chung-Kil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14405 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	91.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings / by Di Martino, Beniamino [editor.] Kranzlmüller, Dieter [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3666 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)
	92.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, Proceedings / by Kranzlmüller, Dieter [editor.] Kacsuk, Peter [editor.] Dongarra, Jack [editor.] Volkert, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2474 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	93.	Research and Advanced Technology for Digital Libraries [electronic resource] : First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings / by Thanos, Costantino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1324 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	94.	Coordination Languages and Models [electronic resource] : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / by Ciancarini, Paolo [editor.] Wolf, Alexander L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1594 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	95.	Languages and Compilers for Parallel Computing [electronic resource] : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers / by Dietz, Henry Gordon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2624 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	96.	Languages and Compilers for Parallel Computing [electronic resource] : 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings / by Li, Zhiyuan [editor.] Yew, Pen-Chung [editor.] Chatterjee, Siddharta [editor.] Huang, Chua-Huang [editor.] Sadayappan, P [editor.] Sehr, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1366 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	97.	Languages and Compilers for Parallel Computing [electronic resource] : 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings / by Sehr, David [editor.] Banerjee, Utpal [editor.] Gelernter, David [editor.] Nicolau, Alex [editor.] Padua, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1239 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	98.	FME 2002: Formal Methods - Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Eriksson, Lars-Henrik [editor.] Lindsay, Peter A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2391 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	99.	Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / by Arbab, Farhad [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2315 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	100.	Static Analysis [electronic resource] : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / by Cortesi, Agostino [editor.] File, Gilberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1694 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 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 130 results.