Refine your search

Your search returned 593 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.
Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.). by Series: Lecture notes in computer science ; 1433. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • ICGI-98, grammatical inference
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
Rough sets and current trends in computing : second international conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers / Wojciech Ziarko, Yiyu Yao (eds.). by Series: Lecture notes in computer science ; 2005. | 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 : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Databases in networked information systems : international workshop DNIS 2000, Aizu, Japan, December 4-6, 2000 : proceedings / Subhash Bhalla (ed.). by Series: Lecture notes in computer science ; 1966.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / Lech Polkowski, Andrzej Skowron, (eds.). by Series: Lecture notes in computer science ; 1424. | 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 ; New York : Springer, ©1998
Other title:
  • RSCTC '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers / Sheng Yu, Andrei Păun (eds.). by Series: Lecture notes in computer science ; 2088.
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
8.
User modeling 2001 : 8th international conference, UM 2001, Sonthofen, Germany, July 13-17, 2001 : proceedings / Mathias Bauer, Piotr J. Gmytrasiewicz, Julita Vassileva (eds.). by Series: Lecture notes in computer science ; 2109. | 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:
  • User modeling two thousand one
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
11.
Algorithms in bioinformatics : Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002 : proceedings / Roderic Guigó, Dan Gusfield, ed. by Series: Lecture notes in computer science ; 2452.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
13.
14.
15.
Power-aware computer systems : Second International Workshop, PACS 2002, Cambridge, MA, USA, February 2, 2002 : revised papers / B. Falsafi, T.N. Vijaykumar, (eds.). by Series: Lecture notes in computer science ; 2325.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Progress in artificial intelligence : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003 : proceedings / Fernando Moura Pires, Salvador Abreu (eds.). by Series: Lecture notes in computer science ; 2902. | 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 ; Hong Kong : Springer-Verlag, ©2003
Other title:
  • EPIA 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Progress in pattern recognition, speech and image analysis : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003 : proceedings / Alberto Sanfeliu, José Ruiz-Shulcloper (eds.). by Series: Lecture notes in computer science ; 2905.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2003
Other title:
  • 8th Iberoamerican Congress on Pattern Recognition
  • CIARP 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / Georg Lausen, Dan Suciu (eds.). by Series: Lecture notes in computer science ; 2921.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Membrane computing : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers / Carlos Martín-Vide [and others] (eds.). by Series: Lecture notes in computer science ; 2933.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha