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

Results
	3041.	Advanced Information Systems Engineering [electronic resource] : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings / by Wangler, Benkt [editor.] Bergman, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1789 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)
	3042.	ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] King, Steve [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2651 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)
	3043.	Mathematics of Surfaces [electronic resource] : 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings / by Wilson, Michael J [editor.] Martin, Ralph R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2768 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)
	3044.	Foundations of Computer Science [electronic resource] : Potential-Theory-Cognition / by Freksa, Christian [editor.] Jantzen, Matthias [editor.] Valk, Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1337 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)
	3045.	Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings / by Carreno, Victor A [editor.] Munoz, Cesar A [editor.] Tahar, Sofiene [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2410 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)
	3046.	Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / by Lemos, Rogério le [editor.] Silva Weber, Taisy [editor.] Camargo Jr., Joao Batista [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2847 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)
	3047.	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)
	3048.	Computational Science — ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part III / by Sloot, Peter M.A [editor.] Abramson, David [editor.] Bogdanov, Alexander V [editor.] Dongarra, Jack J [editor.] Zomaya, Albert Y [editor.] Gorbachev, Yuriy E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2659 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)
	3049.	Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] Weber, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2472 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)
	3050.	Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / by Baeten, Jos C.M [editor.] Lenstra, Jan Karel [editor.] Parrow, Joachim [editor.] Woeginger, Gerhard J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2719 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)
	3051.	Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers / by Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] Yalamov, Plamen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2179 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)
	3052.	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)
	3053.	Networking - ICN 2001 [electronic resource] : First International Conference on Networking, Colmar, France July 9-13, 2001 Proceedings, Part II / by Lorenz, Pascal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2094 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)
	3054.	B'98: Recent Advances in the Development and Use of the B Method [electronic resource] : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / by Didier, Bert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1393 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)
	3055.	Coordination Languages and Models [electronic resource] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / by Porto, Antonio [editor.] Roman, Gruia-Catalin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1906 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)
	3056.	Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings / by Zhao, Feng [editor.] Guibas, Leonidas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2634 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)
	3057.	Intelligent Agents for Telecommunication Applications [electronic resource] : Second International Workshop, IATA'98, Paris, France, July 4-7, 1998, Proceedings / by Albayrak, Sahin [editor.] Garijo, Francisco J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1437 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)
	3058.	Advances in Informatics [electronic resource] : 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers / by Manolopoulos, Yannis [editor.] Evripidou, Skevos [editor.] Kakas, Antonis C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2563 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)
	3059.	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)
	3060.	Modeling and Verification of Parallel Processes [electronic resource] : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / by Cassez, Franck [editor.] Jard, Claude [editor.] Rozoy, Brigitte [editor.] Ryan, Mark D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2067 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3111 results.