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

Results
	1.	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)
	2.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / by Coquand, Thierry [editor.] Dybjer, Peter [editor.] Nordström, Bengt [editor.] Smith, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1956 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)
	3.	Descriptional Complexity of Formal Systems [electronic resource] : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings / by Han, Yo-Sub [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13439 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Advances in Databases and Information Systems [electronic resource] : 26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings / by Chiusano, Silvia [editor.] Cerquitelli, Tania [editor.] Wrembel, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13389 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Advanced Lectures on Machine Learning [electronic resource] : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures / by Mendelson, Shahar [editor.] Smola, Alexander J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2600 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)
	6.	Functional and Logic Programming [electronic resource] : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / by Kameyama, Yukiyoshi [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2998 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)
	7.	Biological and Artificial Computation: From Neuroscience to Technology [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / by Mira, Jose [editor.] Moreno-Diaz, Roberto [editor.] Cabestany, Joan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1240 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)
	8.	Programming Language Implementation and Logic Programming [electronic resource] : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings / by Bruynooghe, Maurice [editor.] Penjam, Jaan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 714 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Keijzer, Maarten [editor.] O'Reilly, Una-May [editor.] Lucas, Simon M [editor.] Costa, Ernesto [editor.] Soule, Terence [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3003 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)
	10.	Computational Neuroscience: Cortical Dynamics [electronic resource] : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures / by Erdi, Peter [editor.] Esposito, Anna [editor.] Marinaro, Maria [editor.] Scarpetta, Silvia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3146 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)
	11.	Rewriting Techniques and Applications [electronic resource] : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings / by Kirchner, Claude [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 690 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence [electronic resource] : 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I / by Mira, Jose [editor.] Prieto, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2084 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)
	13.	Engineering and Deployment of Cooperative Information Systems [electronic resource] : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings / by Han, Yanbo [editor.] Tai, Stefan [editor.] Wikarski, Dietmar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2480 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)
	14.	Intelligent Memory Systems [electronic resource] : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers / by Chong, Frederic T [editor.] Kozyrakis, Christoforos [editor.] Oskin, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2107 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)
	15.	Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings / by Fred, Ana [editor.] Caelli, Terry [editor.] Duin, Robert P.W [editor.] Campilho, Aurélio [editor.] Ridder, Dick de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3138 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)
	16.	Implementation and Application of Automata [electronic resource] : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers / by Champarnaud, Jean-Marc [editor.] Maurel, Denis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2608 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)
	17.	Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I / by Bubak, Marian [editor.] Albada, Geert D.van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3036 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)
	18.	Database and Expert Systems Applications [electronic resource] : 12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001 Proceedings / by Mayr, Heinrich C [editor.] Lazansky, Jiri [editor.] Quirchmayr, Gerald [editor.] Vogel, Pavel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2113 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)
	19.	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)
	20.	Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings / by Sherwani, Naveed A [editor.] Doncker, Elise de [editor.] Kapenga, John A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 507 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 1991 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 423 results.