Refine your search

Your search returned 17826 results.

Not what you expected? Check for suggestions
Sort
Results
1.
2.
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).
3.
4.
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings / S. Gjessing, K. Nygaard, eds. by Series: Lecture notes in computer science ; 322.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
5.
6.
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings / Paul Spirakis (ed.). by Series: Lecture notes in computer science ; 979.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
7.
8.
9.
Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.). by Series: Lecture notes in computer science ; 821.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
10.
ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, the Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.). by Series: Lecture notes in computer science ; 615.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
11.
Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings / Henri Cohen (ed.). by Series: Lecture notes in computer science ; 1122.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English, French
Publication details: Berlin ; New York : Springer, ©1996
Online resources:
Availability: Items available for loan: e-Library (1).
12.
13.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.). by Series: Lecture notes in computer science ; 1019.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
14.
15.
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).
16.
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).
17.
18.
19.
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.). by Series: Lecture notes in computer science ; 1551.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
20.
Pages

Powered by Koha