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

Results
	1581.	Advances in Exception Handling Techniques [electronic resource] / by Romanovsky, Alexander [editor.] Dony, Christophe [editor.] Lindskov Knudsen, Jorgen [editor.] Tripathi, Anand [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2022 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)
	1582.	Compiling Natural Semantics [electronic resource] / by Pettersson, Mikael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1549 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)
	1583.	Formal Syntax and Semantics of Java [electronic resource] / by Alves-Foss, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1523 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)
	1584.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Altenkirch, Thorsten [editor.] Naraschewski, Wolfgang [editor.] Reus, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1657 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)
	1585.	Component-Based Software Engineering [electronic resource] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / by Crnkovic, Ivica [editor.] Stafford, Judith A [editor.] Schmidt, Heinz W [editor.] Wallnau, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3054 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)
	1586.	Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures / by Focardi, Riccardo [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2171 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)
	1587.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings / by Dongarra, Jack [editor.] Kacsuk, Peter [editor.] Podhorszki, Norbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1908 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)
	1588.	UML 2000 - The Unified Modeling Language: Advancing the Standard [electronic resource] : Third International Conference York, UK, October 2-6, 2000 Proceedings / by Evans, Andy [editor.] Kent, Stuart [editor.] Selic, Bran [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1939 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)
	1589.	Mathematical Foundations of Computer Science 2002 [electronic resource] : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings / by Diks, Krzystof [editor.] Rytter, Wojciech [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2420 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)
	1590.	UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [electronic resource] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / by Stevens, Perdita [editor.] Whittle, Jon [editor.] Booch, Grady [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2863 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)
	1591.	Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings / by Mueller, Frank [editor.] Bestavros, Azer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1474 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)
	1592.	Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 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 Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2305 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)
	1593.	Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / by Bradfield, Julian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2471 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)
	1594.	Foundation of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Tiuryn, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1784 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)
	1595.	Programming Languages: Implementations, Logics, and Programs [electronic resource] : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / by Glaser, Hugh [editor.] Hartel, Peter [editor.] Kuchen, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1292 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)
	1596.	Reliable Software Technologies - Ada-Europe '99 [electronic resource] : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings / by Gonzalez Harbour, Michael [editor.] de la Puente, Juan A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1622 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)
	1597.	Advanced Functional Programming [electronic resource] : Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures / by Swierstra, S. Doaitse [editor.] Henriques, Pedro R [editor.] Oliveira, Jose N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1608 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)
	1598.	UML'99 - The Unified Modeling Language: Beyond the Standard [electronic resource] : Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings / by France, Robert B [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1723 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)
	1599.	Database Programming Languages [electronic resource] : 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 / by Cluet, Sophie [editor.] Hull, Rick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1369 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)
	1600.	Implementation of Functional Languages [electronic resource] : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers / by Clack, Chris [editor.] Hammond, Kevin [editor.] Davie, Tony [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1467 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1605 results.