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

Results
	1321.	Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / by Böszörményi, László [editor.] Schojer, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2789 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)
	1322.	Fundamental Approaches to Software Engineering [electronic resource] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings / by Hussmann, Heinrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2029 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)
	1323.	Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / by Dams, Dennis [editor.] Gerth, Robert [editor.] Leue, Stefan [editor.] Massinek, Mieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1680 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)
	1324.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2196 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)
	1325.	Software Engineering - ESEC-FSE '97 [electronic resource] : 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings / by Jazayeri, Mehdi [editor.] Schauer, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1301 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)
	1326.	Formal Methods for Software Architectures [electronic resource] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / by Bernardo, Marco [editor.] Inverardi, Paola [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2804 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)
	1327.	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)
	1328.	Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / by Gottlob, Georg [editor.] Leitsch, Alexander [editor.] Mundici, Daniele [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1289 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)
	1329.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / by Callaghan, Paul [editor.] Luo, Zhaohui [editor.] McKinna, James [editor.] Pollack, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2277 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)
	1330.	Advanced Functional Programming [electronic resource] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / by Jeuring, Johan [editor.] Peyton Jones, Simon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2638 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)
	1331.	Compiler Optimizations for Scalable Parallel Systems [electronic resource] : Languages, Compilation Techniques, and Run Time Systems / by Pande, Santosh [editor.] Agrawal, Dharma P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1808 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)
	1332.	UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools [electronic resource] : 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings / by Jezequel, Jean-Marc [editor.] Hussman, Heinrich [editor.] Cook, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2460 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)
	1333.	Developments in Language Theory [electronic resource] : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers / by Kuich, Werner [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2295 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)
	1334.	Foundations of Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Nivat, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1378 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)
	1335.	Programs as Data Objects [electronic resource] : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / by Danvy, Olivier [editor.] Filinski, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2053 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)
	1336.	Programming Languages and Systems [electronic resource] : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings / by Swierstra, S. Doaitse [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1576 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)
	1337.	Telecommunications and beyond: The Broader Applicability of SDL and MSC [electronic resource] : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers / by Sherratt, Edel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2599 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)
	1338.	FST TCS 2000: Foundations of Software Technology and Theoretical Science [electronic resource] : 20th Conference, New Delhi, India, December13-15, 2000 Proceedings / by Kapoor, Sanjiv [editor.] Prasad, Sanjiva [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1974 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)
	1339.	Foundations of Software Science and Computation Structures [electronic resource] : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings / by Nielsen, Mogens [editor.] Engberg, Uffe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2303 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)
	1340.	Implementation of Functional Languages [electronic resource] : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers / by Arts, Thomas [editor.] Mohnen, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2312 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1605 results.