|
|
|
|
Constraint-Based Mining and Inductive Databases [electronic resource] : European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers / edited by Jean-François Boulicaut, Luc Raedt, Heikki Mannila. by Boulicaut, Jean-François [editor.] | Raedt, Luc [editor.] | Mannila, Heikki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3848Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang. by Hong, Hoon [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3763Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Journal on Data Semantics V [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia P. Sycara. by Spaccapietra, Stefano [editor.] | Atzeni, Paolo [editor.] | Chu, Wesley W [editor.] | Catarci, Tiziana [editor.] | Sycara, Katia P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3870Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner. by Filliâtre, Jean-Christophe [editor.] | Paulin-Mohring, Christine [editor.] | Werner, Benjamin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Web Engineering [electronic resource] : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings / edited by David Lowe, Martin Gaedke. by Lowe, David [editor.] | Gaedke, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3579Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
The Semantic Web: Research and Applications [electronic resource] : Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings / edited by Asunción Gómez-Pérez, Jérôme Euzenat. by Gómez-Pérez, Asunción [editor.] | Euzenat, Jérôme [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3532Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Multiple Classifier Systems [electronic resource] : 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005. Proceedings / edited by Nikunj C. Oza, Robi Polikar, Josef Kittler, Fabio Roli. by Oza, Nikunj C [editor.] | Polikar, Robi [editor.] | Kittler, Josef [editor.] | Roli, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3541Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell. by Hoos, Holger H [editor.] | Mitchell, David G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3542Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi’an, China, December 15-19, 2005, Proceedings, Part II / edited by Yue Hao, Jiming Liu, Yu-Ping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao. by Hao, Yue [editor.] | Liu, Jiming [editor.] | Wang, Yu-Ping [editor.] | Cheung, Yiu-ming [editor.] | Yin, Hujun [editor.] | Jiao, Licheng [editor.] | Ma, Jianfeng [editor.] | Jiao, Yong-Chang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3802Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi’an, China, December 15-19, 2005, Proceedings Part I / edited by Yue Hao, Jiming Liu, Yuping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao. by Hao, Yue [editor.] | Liu, Jiming [editor.] | Wang, Yuping [editor.] | Cheung, Yiu-ming [editor.] | Yin, Hujun [editor.] | Jiao, Licheng [editor.] | Ma, Jianfeng [editor.] | Jiao, Yong-Chang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3801Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Professional Knowledge Management [electronic resource] : Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers / edited by Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer. by Althoff, Klaus-Dieter [editor.] | Dengel, Andreas [editor.] | Bergmann, Ralph [editor.] | Nick, Markus [editor.] | Roth-Berghofer, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3782Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005. Proceedings / edited by Carlos Bento, Amílcar Cardoso, Gaël Dias. by Bento, Carlos [editor.] | Cardoso, Amílcar [editor.] | Dias, Gaël [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3808Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Sutcliffe, Geoff [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3835Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Technologies for Interactive Entertainment [electronic resource] : First International Conference, INTETAIN 2005, Madonna di Campiglio, Italy, November 30 – December 2, 2005. Proceedings / edited by Mark Maybury, Oliviero Stock, Wolfgang Wahlster. by Maybury, Mark [editor.] | Stock, Oliviero [editor.] | Wahlster, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3814Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings / edited by Alexander Gelbukh, Álvaro Albornoz, Hugo Terashima-Marín. by Gelbukh, Alexander [editor.] | Albornoz, Álvaro [editor.] | Terashima-Marín, Hugo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3789Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
