|
|
|
|
Formal Methods in Computer-Aided Design [electronic resource] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson. by Hunt, Warren A [editor.] | Johnson, Steven D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1954Source: 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): .
|
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings / edited by Hiroki Arimura, Sanjay Jain, Arun Sharma. by Arimura, Hiroki [editor.] | Jain, Sanjay [editor.] | Sharma, Arun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1968Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele. by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online 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’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers / edited by Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith. by Coquand, Thierry [editor.] | Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1956Source: 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): .
|
|
|
|
|
Computational Learning Theory [electronic resource] : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amsterdam, The Netherlands, July 16–19, 2001 Proceedings / edited by David Helmbold, Bob Williamson. by Helmbold, David [editor.] | Williamson, Bob [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2111Source: 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): .
|
|
|
|
|
Conceptual Structures: Broadening the Base [electronic resource] : 9th International Conference on Conceptual Structures, ICCS 2001 Stanford, CA, USA, July 30–August 3, 2001 Proceedings / edited by Harry S. Delugach, Gerd Stumme. by Delugach, Harry S [editor.] | Stumme, Gerd [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2120Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
