|
|
|
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni. by Baldoni, Matteo [editor.] | Endriss, Ulle [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3904Source: 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): .
|
|
|
|
Neural Nets [electronic resource] : 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers / edited by Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri. by Apolloni, Bruno [editor.] | Marinaro, Maria [editor.] | Nicosia, Giuseppe [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3931Source: 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): .
|
|
|
|
Engineering Self-Organising Systems [electronic resource] : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / edited by Sven A. Brueckner, Giovanna Marzo Serugendo, David Hales, Franco Zambonelli. by Brueckner, Sven A [editor.] | Marzo Serugendo, Giovanna [editor.] | Hales, David [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3910Source: 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): .
|
|
|
|
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part I / edited by Aleš Leonardis, Horst Bischof, Axel Pinz. by Leonardis, Aleš [editor.] | Bischof, Horst [editor.] | Pinz, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3951Source: 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): .
|
|
|
|
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III / edited by Aleš Leonardis, Horst Bischof, Axel Pinz. by Leonardis, Aleš [editor.] | Bischof, Horst [editor.] | Pinz, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3953Source: 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): .
|
|
|
|
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV / edited by Aleš Leonardis, Horst Bischof, Axel Pinz. by Leonardis, Aleš [editor.] | Bischof, Horst [editor.] | Pinz, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3954Source: 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): .
|
|
|
|
Topics in Artificial Intelligence [electronic resource] : 5th Catalonian Conference on AI, CCIA 2002 Castellón, Spain, October 24–25, 2002 Proceedings / edited by M. Teresa Escrig, Francisco Toledo, Elisabet Golobardes. by Escrig, M. Teresa [editor.] | Toledo, Francisco [editor.] | Golobardes, Elisabet [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2504Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Discovery Science [electronic resource] : 5th International Conference, DS 2002 Lübeck, Germany, November 24–26, 2002 Proceedings / edited by Steffen Lange, Ken Satoh, Carl H. Smith. by Lange, Steffen [editor.] | Satoh, Ken [editor.] | Smith, Carl H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2534Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II / edited by De-Shuang Huang, Kang Li, George William Irwin. by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4114Source: 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): .
|
|
|
|
Smart Graphics [electronic resource] : Third International Symposium on Smart Graphics, SG 2003 Heidelberg, Germany, July 2–4, 2003 Proceedings / edited by Andreas Butz, Antonio Krüger, Patrick Olivier. by Butz, Andreas [editor.] | Krüger, Antonio [editor.] | Olivier, Patrick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2733Source: 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): .
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006. Proceedings / edited by Petr Sojka, Ivan Kopeček, Karel Pala. by Sojka, Petr [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4188Source: 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 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk. by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2646Source: 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): .
|
|
|
|
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 11th International Conference, DEXA 2000 London, UK, September 4–8, 2000 Proceedings / edited by Mohamed Ibrahim, Josef Küng, Norman Revell. by Ibrahim, Mohamed [editor.] | Küng, Josef [editor.] | Revell, Norman [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1873Source: 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] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison. by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1869Source: 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] : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / edited by Richard J. Boulton, Paul B. Jackson. by Boulton, Richard J [editor.] | Jackson, Paul B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2152Source: 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): .
|
|
|
|
Technologies for E-Services [electronic resource] : Second International Workshop, TES 2001 Rome, Italy, September 14–15, 2001 Proceedings / edited by Fabio Casati, Ming-Chien Shan, Dimitrios Georgakopoulos. by Casati, Fabio [editor.] | Shan, Ming-Chien [editor.] | Georgakopoulos, Dimitrios [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2193Source: 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): .
|
|
|
|
Advances in Learning Software Organizations [electronic resource] : Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings / edited by Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller. by Althoff, Klaus-Dieter [editor.] | Feldmann, Raimund L [editor.] | Müller, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2176Source: 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): .
|
|
|
|
Trust Management [electronic resource] : First International Conference, iTrust 2003 Heraklion, Crete, Greece, May 28–30, 2003 Proceedings / edited by Paddy Nixon, Sotirios Terzis. by Nixon, Paddy [editor.] | Terzis, Sotirios [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2692Source: 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): .
|