Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Artificial intelligence and su-to:Artificial intelligence and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Advanced Distributed Systems [electronic resource] : Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers / by Ramos, Felix F [editor.] Unger, Herwig [editor.] Larios, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3061 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)
	122.	Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / by Diaz, Josep [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Sannella, Donald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3142 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)
	123.	Mobile Agents [electronic resource] : 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings / by Suri, Niranjan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2535 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)
	124.	Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Comon, Hubert [editor.] Marche, Claude [editor.] Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2002 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)
	125.	Intelligent Tutoring Systems [electronic resource] : 4th International Conference, ITS ’98, San Antonio, Texas, USA, August 16–19, 1998, Proceedings / by Goettl, Barry P [editor.] Halff, Henry M [editor.] Redfield, Carol L [editor.] Shute, Valerie J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1452 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)
	126.	Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Pettorossi, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2372 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)
	127.	Types for Proofs and Programs [electronic resource] : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / by Gimenez, Eduardo [editor.] Paulin-Mohring, Christine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1512 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)
	128.	Ambient Intelligence [electronic resource] : Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings / by Markopoulos, Panos [editor.] Eggen, Berry [editor.] Aarts, Emile [editor.] Crowley, James L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3295 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)
	129.	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)
	130.	Meta-Level Architectures and Reflection [electronic resource] : Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings / by Cointe, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1616 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)
	131.	Computational Science - ICCS 2001 [electronic resource] : International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II / by Alexandrov, Vassil N [editor.] Dongarra, Jack J [editor.] Juliano, Benjoe A [editor.] Renner, Rene S [editor.] Tan, C.J.Kenneth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2074 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)
	132.	Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings / by Haeberer, Armando M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1548 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)
	133.	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)
	134.	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)
	135.	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)
	136.	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)
	137.	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)
	138.	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)
	139.	Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by Basin, David [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2758 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)
	140.	Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Berry, Gerard [editor.] Comon, Hubert [editor.] Finkel, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2102 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

Item types

Series

Topics

Your search returned 236 results.