Refine your search

Your search returned 4299 results.

Not what you expected? Check for suggestions
1.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
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.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Integer programming and combinatorial optimization : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002 : proceedings / William J. Cook, Andreas S. Schulz (eds.).

by Conference on Integer Programming and Combinatorial Optimization (9th : 2002 : Cambridge, Mass.) | Cook, William J, 1936- | Schulz, Andreas S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Advances in data mining : applications in E-commerce, medicine, and knowledge management / Petra Perner (ed.).

by Perner, Petra.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha