Refine your search

Your search returned 4312 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
Agent-mediated electronic commerce III : current issues in agent-based electronic commerce systems / Frank Dignum, Ulises Cortés, eds.

by Dignum, Frank, 1961- | Cortés, U. (Ulises).

Series: Serienbezeichnung | Lecture notes in computer science ; 2003. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Other title: Agent-mediated electronic commerce three.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
E-commerce agents : marketplace solutions, security issues, and supply and demand / Jiming Liu, Yiming Ye (eds.).

by Liu, Jiming, 1962- | Ye, Yiming, 1963-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2033. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
Security and privacy in digital rights management : ACM CCS-8 workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001 : revised papers / Tomas Sander (ed.).

by ACM Workshop on Security and Privacy in Digital Rights Management (2001 : Philadelphia, Pa.) | Sander, Tomas | ACM Conference on Computer and Communications Security (8th : 2001 : Philadelphia, Pa.).

Series: Serienbezeichnung | Lecture notes in computer science ; 2320. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; 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).
Place hold Log in to add tags
Applied parallel computing : advanced scientific computing : 6th international conference, PARA 2002, Espoo, Finland, June 15-18, 2002 : proceedings / Juha Fagerholm [and others] (eds.).

by PARA 2002 (2002 : Espoo, Finland) | Fagerholm, Juha, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2367.Material type: Text Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
Financial cryptography : 5th International Conference, FC 2001, Grand Cayman, British West Indies, February 19-22, 2001 : proceedings / Paul F. Syverson (ed.).

by FC (Conference) (5th : 2001 : Grand Cayman Island, Cayman Islands) | Syverson, Paul F.

Series: Serienbezeichnung | Lecture notes in computer science ; 2339.Material type: Text Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
Object-oriented technology : ECOOP 2001 Workshop Reader : ECOOP 2001 workshops, panels, and posters : Budapest, Hungary, June 18-22, 2001 : proceedings / Ákos Frohner (ed.).

by ECOOP (Conference) (15th : 2001 : Budapest, Hungary) | Frohner, Ákos.

Series: Serienbezeichnung | Lecture notes in computer science ; 2323. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
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 Text; Format: available online remote; 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).
Place hold Log in to add tags
Pages

Powered by Koha