Refine your search

Your search returned 9695 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen. by Series: Lecture notes in computer science ; 162.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publisher: Berlin : Springer-Verlag, [1983]Copyright date: ©1983
Other title:
  • EUROCAL '83
  • European Computer Algebra Conference, London, England, March 28-30, 1983
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
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
3.
Natural language processing - NLP 2000 : Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings / Dimitris N. Christodoulakis (ed.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 1835. | Lecture notes in computer science ; 1835. | 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, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Genetic programming : 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings / J. Miller [and others] (eds.). by Series: Lecture notes in computer science ; 2038.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2001
Other title:
  • EuroGP 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Algorithms in bioinformatics : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001 proceedings / Olivier Gascuel, Bernard M.E. Moret (eds.). by Series: Lecture notes in computer science ; 2149.
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
6.
7.
8.
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
9.
10.
11.
12.
13.
Foundations of security analysis and design : tutorial lectures / Riccardo Focardi, Robert Gorrieri (eds.). by Series: Lecture notes in computer science ; 2171.
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
14.
Functional imaging and modeling of the heart : first international workshop, FIMH 2001, Helsinki, Finland, November 15-16, 2001 proceedings / Toivo Katila [and others] editors. by Series: Lecture notes in computer science ; 2230.
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.
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
16.
Advances in natural language processing : third international conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002 : proceedings / Elisabete Ranchhod, Nuno J. Mamede (eds.). by Series: Lecture notes in computer science ; 2389. | 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, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Genetic programming : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings / James A. Foster [and others], (eds.). by Series: Lecture notes in computer science ; 2278.
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
18.
19.
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
20.
Pages

Powered by Koha