Refine your search

Your search returned 5589 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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 Series: Lecture notes in computer science ; 1479.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Agent-mediated electronic commerce III : current issues in agent-based electronic commerce systems / Frank Dignum, Ulises Cortés, eds. by Series: 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, ©2001
Other title:
  • Agent-mediated electronic commerce three
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
E-commerce agents : marketplace solutions, security issues, and supply and demand / Jiming Liu, Yiming Ye (eds.). by Series: 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, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.). by Series: Lecture notes in computer science ; 1337.
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Berlin ; New York : Springer, ©1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
7.
8.
SDL 2001 : meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / Rick Reed, Jeanne Reed (eds.). by Series: Lecture notes in computer science ; 2078.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Computer vision systems : second international workshop, ICVS 2001, Vancouver, Canada, July 7-8, 2001 : proceedings / Bernt Schiele, Gerhard Sagerer, (eds.). by Series: Lecture notes in computer science ; 2095.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Multiple classifier systems : second international workshop, MCS 2001, Cambridge, UK, July 2-4, 2001 : proceedings / Josef Kittler, Fabio Roli (eds.). by Series: Lecture notes in computer science ; 2096.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Advances in spatial and temporal databases : 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 : proceedings / Christian S. Jensen [and others] (eds.). by Series: Lecture notes in computer science ; 2121.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot, ed. by Series: Lecture notes in computer science ; 2126.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
14.
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 Series: Lecture notes in computer science ; 2118.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Web intelligence : research and development : first Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001 : proceedings / Ning Zhong [and others] (eds.). by Series: Lecture notes in computer science ; 2198. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Berlin ; Heidelberg : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
New frontiers in artificial intelligence : joint JSAI 2001 workshop post-proceedings / Takao Terano [and others]. by Series: Lecture notes in computer science ; 2253. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Berlin ; Heidelberg : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Formal and natural computing : essays dedicated to Grzegorz Rozenberg / Wilfried Brauer [and others] (eds.). by Series: Lecture notes in computer science ; 2300.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction ; Audience: Specialized;
Publication details: Berlin ; Heidelberg : Springer, ©2002
Other title:
  • Essays dedicated to Grzegorz Rozenberg
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Applied parallel computing : advanced scientific computing : 6th international conference, PARA 2002, Espoo, Finland, June 15-18, 2002 : proceedings / Juha Fagerholm [and others] (eds.). by Series: Lecture notes in computer science ; 2367.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
The semantic Web-ISWC 2002 : First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002 : proceedings / Ian Horrocks, James Hendler (eds.). by Series: Lecture notes in computer science ; 2342.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha