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

Results
	2681.	ZB 2000: Formal Specification and Development in Z and B [electronic resource] : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / by Bowen, Jonathan P [editor.] Dunne, Steve [editor.] Galloway, Andy [editor.] King, Steve [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1878 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)
	2682.	Intelligent Tutoring Systems [electronic resource] : 5th International Conference, ITS 2000, Montreal, Canada, June 19-23, 2000 Proceedings / by Gauthier, Gilles [editor.] Frasson, Claude [editor.] VanLehn, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1839 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)
	2683.	Self-Adaptive Software [electronic resource] : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers / by Robertson, Paul [editor.] Shrobe, Howie [editor.] Laddaga, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1936 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)
	2684.	Logic Programming [electronic resource] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings / by Palamidessi, Catuscia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2916 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)
	2685.	High Performance Computing [electronic resource] : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings / by Polychronopoulos, Constantine [editor.] Joe, Kazuki [editor.] Araki, Keijiro [editor.] Amamiya, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1336 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)
	2686.	FME 2002: Formal Methods - Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Eriksson, Lars-Henrik [editor.] Lindsay, Peter A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2391 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)
	2687.	Principles and Practice of Constraint Programming - CP98 [electronic resource] : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / by Maher, Michael [editor.] Puget, Jean-Francois [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1520 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)
	2688.	Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] : 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings / by Müller, Jörg [editor.] Singh, Munindar P [editor.] Rao, Anand S [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1555 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)
	2689.	Abstract Compositional Analysis of Iterated Relations [electronic resource] : A Structural Approach to Complex State Transition Systems / by Geurts, Frederic [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1426 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)
	2690.	Graph Drawing [electronic resource] : 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings / by DiBattista, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1353 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)
	2691.	Algorithms - ESA 2003 [electronic resource] : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings / by Di Battista, Giuseppe [editor.] Zwick, Uri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2832 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)
	2692.	Object-Oriented Technology: ECOOP 2001 Workshop Reader [electronic resource] : ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings / by Frohner, Akos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2323 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)
	2693.	Parallel Computing Technologies [electronic resource] : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2127 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)
	2694.	Formal Approaches to Agent-Based Systems [electronic resource] : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / by Rash, James L [editor.] Rouff, Christopher A [editor.] Truszkowski, Walter [editor.] Gordon, Diana [editor.] Hinchey, Michael G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1871 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)
	2695.	Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / by Geist, Daniel [editor.] Tronci, Enrico [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2860 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)
	2696.	Information and Communications Security [electronic resource] : First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings / by Han, Yongfei [editor.] Okamoto, Tatsuaki [editor.] Quing, Sihan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1334 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)
	2697.	Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Schmid, Ute [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2654 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)
	2698.	Interactive Multimedia on Next Generation Networks [electronic resource] : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings / by Ventre, Giorgio [editor.] Canonico, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2899 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)
	2699.	ZUM'97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / by Bowen, Jonathan P [editor.] Hinchey, Michael G [editor.] Till, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1212 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)
	2700.	Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / by Arbab, Farhad [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2315 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

Topics

Your search returned 3111 results.