|
|
|
Self-Adaptive Software [electronic resource] : First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers / edited by Paul Robertson, Howie Shrobe, Robert Laddaga. by Robertson, Paul [editor.] | Shrobe, Howie [editor.] | Laddaga, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1936Source: 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 Verification [electronic resource] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings / edited by Gérard Berry, Hubert Comon, Alain Finkel. by Berry, Gérard [editor.] | Comon, Hubert [editor.] | Finkel, Alain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2102Source: 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): .
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 – August 2, 2001 Proceedings / edited by David W. Aha, Ian Watson. by Aha, David W [editor.] | Watson, Ian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2080Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Modeling and Using Context [electronic resource] : Third International and Interdisciplinary Conference, CONTEXT 2001 Dundee, UK, July 27–30, 2001 Proceedings / edited by Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young. by Akman, Varol [editor.] | Bouquet, Paolo [editor.] | Thomason, Richmond [editor.] | Young, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2116Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers / edited by Didier Bert, Christine Choppy, Peter D. Mosses. by Bert, Didier [editor.] | Choppy, Christine [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1827Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
Intelligent Agents: Specification, Modeling, and Applications [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings / edited by Soe -Tsyr Yuan, Makoto Yokoo. by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2132Source: 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 Classifier Systems [electronic resource] : Third International Workshop, IWLCS 2000 Paris, France, September 15–16, 2000 Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson. by Luca Lanzi, Pier [editor.] | Stolzmann, Wolfgang [editor.] | Wilson, Stewart W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1996Source: 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): .
|
|
|
|
|
|
|
|
New Trends in Constraints [electronic resource] : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers / edited by Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi. by Apt, Krzysztof R [editor.] | Monfroy, Eric [editor.] | Kakas, Antonis C [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1865Source: 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): .
|
|
|
|
Implementation of Functional Languages [electronic resource] : 11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers / edited by Pieter Koopman, Chris Clack. by Koopman, Pieter [editor.] | Clack, Chris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1868Source: 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): .
|
|
|
|
Category Theory and Computer Science [electronic resource] : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings / edited by David Pitt, David E. Rydeheard, Peter Johnstone. by Pitt, David [editor.] | Rydeheard, David E [editor.] | Johnstone, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 953Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings / edited by Bernhard Ganter, Guy W. Mineau. by Ganter, Bernhard [editor.] | Mineau, Guy W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1867Source: 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): .
|