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

Results
	1361.	Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings / by Larsen, Kim G [editor.] Skyum, Sven [editor.] Winskel, Glynn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1443 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)
	1362.	Relational Methods in Computer Science [electronic resource] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers / by de Swart, Harrie C.M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2561 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)
	1363.	Practical Aspects of Declarative Languages [electronic resource] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / by Pontelli, Enrico [editor.] Vitor, Santos C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1753 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)
	1364.	EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings / by Shafazand, M. Hassan [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2510 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)
	1365.	SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings / by Pacholski, Leszek [editor.] Ruzicka, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2234 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)
	1366.	Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Bertot, Yves [editor.] Dowek, Gilles [editor.] Hirschowitz, Andre [editor.] Paulin, Christine [editor.] Thery, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1690 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)
	1367.	Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Aagaard, Mark [editor.] Harrison, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1869 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)
	1368.	Advances in Information Systems [electronic resource] : Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002. Proceedings / by Yakhno, Tatyana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2457 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)
	1369.	Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Grundy, Jim [editor.] Newey, Malcolm [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1479 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)
	1370.	Conceptual Modeling -- ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings / by Song, Il-Yeol [editor.] Liddle, Stephen W [editor.] Ling, Tok Wang [editor.] Scheuermann, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2813 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)
	1371.	Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / by Gupta, Gopal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1551 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)
	1372.	Automated Deduction in Classical and Non-Classical Logics [electronic resource] : Selected Papers / by Caferra, Ricardo [editor.] Salzer, Gernot [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1761 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)
	1373.	Principles and Practice of Constraint Programming - CP'99 [electronic resource] : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings / by Jaffar, Joxan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1713 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)
	1374.	Simulated Evolution and Learning [electronic resource] : First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers. / by Yao, Xin [editor.] Kim, Jong-Hwan [editor.] Furuhashi, Takeshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1285 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)
	1375.	Generic Programming [electronic resource] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / by Jazayeri, Mehdi [editor.] Loos, Rüdiger G.K [editor.] Musser, David R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1766 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)
	1376.	Advances in Computing Science - ASIAN'97 [electronic resource] : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings / by Shyamasundar, R.K [editor.] Ueda, Kazunori [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1345 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)
	1377.	Artificial Intelligence and Cognitive Science [electronic resource] : 13th Irish International Conference, AICS 2002, Limerick, Ireland, September 12-13, 2002. Proceedings / by O'Neill, Michael [editor.] Sutcliffe, Richard F.E [editor.] Ryan, Conor [editor.] Eaton, Malachy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2464 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)
	1378.	Principles of Data Mining and Knowledge Discovery [electronic resource] : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 Proceedings / by Komorowski, Jan [editor.] Zytkow, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1263 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)
	1379.	Compiler Construction [electronic resource] : 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Hedin, Görel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2622 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)
	1380.	Artificial Evolution [electronic resource] : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001. Selected Papers / by Collet, Pierre [editor.] Fonlupt, Cyril [editor.] Hao, Jin-Kao [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2310 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

Item types

Series

Topics

Your search returned 1525 results.