|
|
|
Artificial Neural Networks and Neural Information Processing — ICANN/ICONIP 2003 [electronic resource] : Joint International Conference ICANN/ICONIP 2003 Istanbul, Turkey, June 26–29, 2003 Proceedings / edited by Okyay Kaynak, Ethem Alpaydin, Erkki Oja, Lei Xu. by Kaynak, Okyay [editor.] | Alpaydin, Ethem [editor.] | Oja, Erkki [editor.] | Xu, Lei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2714Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Developments in Applied Artificial Intelligence [electronic resource] : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003 Loughborough, UK, June 23–26, 2003 Proceedings / edited by Paul W. H. Chung, Chris Hinde, Moonis Ali. by Chung, Paul W. H [editor.] | Hinde, Chris [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2718Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla. by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1855Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Web Engineering [electronic resource] : International Conference, ICWE 2003 Oviedo, Spain, July 14–18, 2003 Proceedings / edited by Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Jose Emilio Labra Gayo, María Puerto Paule Ruiz, Luis Joyanes Aguilar. by Lovelle, Juan Manuel Cueva [editor.] | Rodríguez, Bernardo Martín González [editor.] | Gayo, Jose Emilio Labra [editor.] | Puerto Paule Ruiz, María [editor.] | Aguilar, Luis Joyanes [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2722Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi. by Hunt, Warren A [editor.] | Somenzi, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2725Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 5th International Conference, ITS 2000 Montréal, Canada, June 19–23, 2000 Proceedings / edited by Gilles Gauthier, Claude Frasson, Kurt VanLehn. by Gauthier, Gilles [editor.] | Frasson, Claude [editor.] | VanLehn, Kurt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears. by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2699Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Innovative Concepts for Agent-Based Systems [electronic resource] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / edited by Walt Truszkowski, Mike Hinchey, Chris Rouff. by Truszkowski, Walt [editor.] | Hinchey, Mike [editor.] | Rouff, Chris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2564Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Agent Systems, Mobile Agents, and Applications [electronic resource] : Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13-15, 2000 Proceedings / edited by David Kotz, Friedemann Mattern. by Kotz, David [editor.] | Mattern, Friedemann [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1882Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Virtual Storytelling Using Virtual Reality Technologies for Storytelling [electronic resource] : International Conference ICVS 2001 Avignon, France, September 27–28, 2001 Proceedings / edited by Olivier Balet, Gérard Subsol, Patrice Torguet. by Balet, Olivier [editor.] | Subsol, Gérard [editor.] | Torguet, Patrice [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2197Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|