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

Results
	1461.	Computer Science Logic [electronic resource] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings / by Gottlob, Georg [editor.] Grandjean, Etienne [editor.] Seyr, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1584 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)
	1462.	Software and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings / by Krall, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2826 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)
	1463.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / by Dyckhoff, Roy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1847 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1464.	Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings / by Davidson, Jack [editor.] Min, Sang Lyul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1985 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1465.	Reliable Software Technologies - Ada-Europe '98 [electronic resource] : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / by Asplund, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1411 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)
	1466.	Modeling and Using Context [electronic resource] : Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings / by Bouquet, Paolo [editor.] Serafini, Luciano [editor.] Brézillon, Patrick [editor.] Benerecetti, Massimo [editor.] Castellani, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1688 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)
	1467.	Euro-Par’98 Parallel Processing [electronic resource] : 4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings / by Pritchard, David [editor.] Reeve, Jeff [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1470 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)
	1468.	Text, Speech and Dialogue [electronic resource] : 4th International Conference, TSD 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001. Proceedings / by Matousek, Vaclav [editor.] Mautner, Paul [editor.] Moucek, Roman [editor.] Tauser, Karel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2166 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1469.	Typed Lambda Calculi and Applications [electronic resource] : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / by Hofmann, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2701 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)
	1470.	Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / by Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2895 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)
	1471.	Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / by Deransart, Pierre [editor.] Hermenegildo, M.V [editor.] Maluszynski, J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1870 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1472.	Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Comon, Hubert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1232 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)
	1473.	Generative Programming and Component Engineering [electronic resource] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / by Batory, Don [editor.] Consel, Charles [editor.] Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2487 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)
	1474.	Mathematical Foundations of Computer Science 2000 [electronic resource] : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings / by Nielsen, Mogens [editor.] Rovan, Branislav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1893 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1475.	Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / by Narendran, Paliath [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1631 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)
	1476.	Logic Programming [electronic resource] : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings / by Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2401 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)
	1477.	Practical Aspects of Declarative Languages [electronic resource] : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / by Ramakrishnan, I.V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1990 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1478.	Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers / by Aichernig, Bernhard K [editor.] Maibaum, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2757 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)
	1479.	Correct System Design [electronic resource] : Recent Insights and Advances / by Olderog, Ernst-Rüdiger [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1710 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)
	1480.	Automata Implementation [electronic resource] : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers / by Champarnaud, Jean-Marc [editor.] Maurel, Denis [editor.] Ziadi, Djelloul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1660 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1515 results.