|
|
|
|
Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings / edited by Cristiano Castelfranchi, Yves Lespérance. by Castelfranchi, Cristiano [editor.] | Lespérance, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1986Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire. by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2178Source: 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): .
|
|
|
|
|
Computer Vision — ECCV 2002 [electronic resource] : 7th European Conference on Computer Vision Copenhagen, Denmark, May 28–31, 2002 Proceedings, Part III / edited by Anders Heyden, Gunnar Sparr, Mads Nielsen, Peter Johansen. by Heyden, Anders [editor.] | Sparr, Gunnar [editor.] | Nielsen, Mads [editor.] | Johansen, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2352Source: 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): .
|
|
|
|
|
|
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97 Grenoble, France, March 23–26, 1997 Proceedings / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt. by Keravnou, Elpida [editor.] | Garbay, Catherine [editor.] | Baud, Robert [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 1211Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
KI-97: Advances in Artificial Intelligence [electronic resource] : 21st Annual German Conference on Artificial Intelligence Freiburg, Germany, September 9–12, 1997 Proceedings / edited by Gerhard Brewka, Christopher Habel, Bernhard Nebel. by Brewka, Gerhard [editor.] | Habel, Christopher [editor.] | Nebel, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1303Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] | Damgård, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldórsson, Magnús M [editor.] | Ingólfsdóttir, Anna [editor.] | Walukiewicz, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5126Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Empirical Software Engineering Issues. Critical Assessment and Future Directions [electronic resource] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers / edited by Victor R. Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard W. Selby. by Basili, Victor R [editor.] | Rombach, Dieter [editor.] | Schneider, Kurt [editor.] | Kitchenham, Barbara [editor.] | Pfahl, Dietmar [editor.] | Selby, Richard W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4336Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski. by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / edited by Claudio Sossai, Gaetano Chemello. by Sossai, Claudio [editor.] | Chemello, Gaetano [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5590Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Experimental Software Engineering Issues: Critical Assessment and Future Directions [electronic resource] : International Workshop Dagstuhl Castle, Germany, September 14–18, 1992 Proceedings / edited by H. Dieter Rombach, Victor R. Basili, Richard W. Selby. by Rombach, H. Dieter [editor.] | Basili, Victor R [editor.] | Selby, Richard W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 706Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Artificial Immune Systems [electronic resource] : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings / edited by Emma Hart, Chris McEwan, Jon Timmis, Andy Hone. by Hart, Emma [editor.] | McEwan, Chris [editor.] | Timmis, Jon [editor.] | Hone, Andy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6209Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
