Results of search for 'ccl=su:{Engineering} and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2861.	High Performance Computing [electronic resource] : Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings / by Polychronopoulos, Constantine [editor.] Joe, Kazuki [editor.] Fukuda, Akira [editor.] Tomita, Shinji [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1615 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)
	2862.	Compiler Construction [electronic resource] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / by Koskimies, Kai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1383 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)
	2863.	Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / by Bertran, Miquel [editor.] Rus, Teodor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1231 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)
	2864.	CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / by Bidoit, Michel [author.] Mosses, Peter D [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2900 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)
	2865.	Persistent Object Systems: Design, Implementation, and Use [electronic resource] : 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers / by Kirby, Graham N.C [editor.] Dearle, Alan [editor.] Sjoberg, Dag I.K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2135 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)
	2866.	Electronic Commerce and Web Technologies [electronic resource] : Second International Conference, EC-Web 2001 Munich, Germany, September 4-6, 2001 Proceedings / by Bauknecht, Kurt [editor.] Madria, Sanjay K [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2115 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)
	2867.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / by Brinksma, Ed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1217 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)
	2868.	CASL Reference Manual [electronic resource] : The Complete Documentation of the Common Algebraic Specification Language / by Mosses, Peter D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2960 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)
	2869.	Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings / by Foster, James A [editor.] Lutton, Evelyne [editor.] Miller, Julian F [editor.] Ryan, Conor [editor.] Tezzamanzi, Andra G.B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2278 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)
	2870.	Mobile Data Access [electronic resource] : First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999 Proceedings / by Leong, Hong Va [editor.] Lee, Wang-Chien [editor.] Li, Bo [editor.] Yin, Li [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1748 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)
	2871.	Self-Adaptive Software [electronic resource] : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers / by Laddaga, Robert [editor.] Robertson, Paul [editor.] Shrobe, Howie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2614 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)
	2872.	High Performance Computing - HiPC 2001 [electronic resource] : 8th International Conference, Hyderabad, India, December, 17-20, 2001. Proceedings / by Monien, Burkhard [editor.] Prasanna, Viktor K [editor.] Vajapeyam, Sriram [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2228 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)
	2873.	Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / by Kirchner, Helene [editor.] Ringeissen, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2422 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)
	2874.	Automatic Verification of Sequential Infinite-State Processes [electronic resource] / by Burkart, Olaf [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1354 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)
	2875.	Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Rattray, Charles [editor.] Maharaj, Savitri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3116 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)
	2876.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 18th Conference, Chennai, India, December 17-19, 1998, Proceedings / by Arvind, V [editor.] Ramanujam, R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1530 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)
	2877.	Computer and Information Sciences -- ISCIS 2003 [electronic resource] : 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings / by Yazici, Adnan [editor.] Sener, Cevat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2869 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)
	2878.	Computer Safety, Reliability, and Security [electronic resource] : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / by Koornneef, Floor [editor.] Meulen, Meine van der [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1943 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)
	2879.	Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Broy, Manfred [editor.] Zamulin, Alexandre V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2890 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)
	2880.	Application and Theory of Petri Nets 2000 [electronic resource] : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings / by Nielsen, Mogens [editor.] Simpson, Dan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1825 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3111 results.