Results
|
|
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey, (eds.). by TPHOLs (11th : 1998 : Canberra, A.C.T.) | Grundy, J. (Jim), 1968- | Newey, Malcolm Charles. Series: Serienbezeichnung | Lecture notes in computer science ; 1479.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 : revised papers / Tom Wagner, Omer Rana (eds.). by International Workshop on Infrastructure for Scalable Multi-Agent Systems (2000 : Barcelona, Spain) | Wagner, Tom, 1966- | Rana, Omer. Series: Serienbezeichnung | Lecture notes in computer science ; 1887. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Database schema evolution and meta-modeling : 9th International Workshop on Foundations of Models and Languages for Data and Objects, FoMLaDO/DEMM 2000, Dagstuhl Castle, Germany, September 18-21, 2000 : selected papers / Herman Balsters, Bert de Brock, Stefan Conrad (eds.). by International Workshop on Foundations of Models and Languages for Data and Objects (9th : 2000 : Dagstuhl, Wadern, Germany) | Balsters, Herman, 1952- | Brock, Bert de | Conrad, S. (Stefan). Series: Serienbezeichnung | Lecture notes in computer science ; 2065.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
SDL 2001 : meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / Rick Reed, Jeanne Reed (eds.). by SDL Forum (10th : 2001 : Copenhagen, Denmark) | Reed, Rick | Reed, Jeanne, 1948-. Series: Serienbezeichnung | Lecture notes in computer science ; 2078.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Multi-agent systems and applications : 9th ECCAI advanced course, ACAI 2001 and agent link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001 : selected tutorial papers / Michael Luck [and others], (eds.). by European Agent Systems Summer School (3rd : 2001 : Prague, Czech Republic) | Luck, Michael (Michael M.) | European Coordinating Committee for Artificial Intelligence. Series: Serienbezeichnung | Lecture notes in computer science ; 2086. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Computer vision systems : second international workshop, ICVS 2001, Vancouver, Canada, July 7-8, 2001 : proceedings / Bernt Schiele, Gerhard Sagerer, (eds.). by ICVS (Conference : Computer vision systems) (2nd : 2001 : Vancouver, B.C.) | Schiele, Bernard | Sagerer, Gerhard. Series: Serienbezeichnung | Lecture notes in computer science ; 2095.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Multiple classifier systems : second international workshop, MCS 2001, Cambridge, UK, July 2-4, 2001 : proceedings / Josef Kittler, Fabio Roli (eds.). by Kittler, Josef, 1946- | Roli, Fabio, 1962- | MCS (Workshop) (2nd : 2001 : Cambridge, England). Series: Serienbezeichnung | Lecture notes in computer science ; 2096.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot, ed. by International Static Analysis Symposium (8th : 2001 : Paris, France) | Cousot, Patrick, 1948-. Series: Serienbezeichnung | Lecture notes in computer science ; 2126.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Advances in spatial and temporal databases : 7th Internaitonal Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 : proceedings / Christian S. Jensen [and others] (eds.). by SSTD 2001 (2001 : Redondo Beach, Calif.) | Jensen, Christian S, 1963-. Series: Serienbezeichnung | Lecture notes in computer science ; 2121.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Advances in web-age information management : second international conference, WAIM 2001, Xi'an, China, July 9-11, 2001 : proceedings / X. Sean Wang, Ge Yu, Hongjun Lu (eds.). by WAIM (Conference) (2nd : 2001 : Xi'an, Shaanxi Sheng, China) | Wang, Sean, 1960- | Yu, Ge | Lu, Hongjun. Series: Serienbezeichnung | Lecture notes in computer science ; 2118.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
The semantic Web-ISWC 2002 : First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002 : proceedings / Ian Horrocks, James Hendler (eds.). by International Semantic Web Conference (1st : 2002 : Sardinia, Italy) | Horrocks, Ian, 1958- | Hendler, James A. Series: Serienbezeichnung | Lecture notes in computer science ; 2342.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Advances in learning classifier systems : 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 : revised papers / Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson, (eds.). by IWLCS 2001 (2001 : San Francisco, Calif.) | Lanzi, Pier Luca, 1967- | Stolzmann, Wolfgang, 1966- | Wilson, Stewart W, 1937-. Series: Serienbezeichnung | Lecture notes in computer science ; 2321. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Advanced environments, tools, and applications for cluster computing : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001 : revised papers / Dan Grigoras [and others] (eds.). by IWCC 2001 (2001 : Mangalia, Romania) | Grigoras, Dan, 1956-. Series: Serienbezeichnung | Lecture notes in computer science ; 2326.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds. by International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland) | Butler, Michael, 1967- | Petre, Luigia, 1974- | Sere, K. (Kaisa), 1954-. Series: Serienbezeichnung | Lecture notes in computer science ; 2335.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|