Refine your search

Your search returned 4744 results.

Not what you expected? Check for suggestions
1.
Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi.

by CAAP '83 (8th : 1983 : L'Aquila, Italy) | Ausiello, G. (Giorgio), 1941- | Protasi, M. (Marco), 1950-.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

by Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany) | Mehlhorn, Kurt, 1949-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types / Mark Steven Sherman.

by Sherman, Mark Steven.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings / S. Gjessing, K. Nygaard, eds.

by ECOOP (Conference) (2nd : 1988 : Oslo, Norway) | Gjessing, S. (Stein), 1950- | Nygaard, Kristen, 1926-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, the Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.).

by ECOOP (Conference) (6th : 1992 : Utrecht, Netherlands) | Madsen, O. Lehrmann (Ole Lehrmann), 1950-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.).

by ECOOP (Conference) (8th : 1994 : Bologna, Italy) | Tokoro, Mario, 1947- | Pareschi, Remo.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers / Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.).

by Deza, M, 1939- | Euler, Reinhardt, 1950- | Manoussakis, Ioannis, 1957-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Computing and combinatorics : 6th annual international conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings / Ding-Zhu Du [and others].

by COCOON (Conference) (6th : 2000 : Sydney, N.S.W.) | Du, Dingzhu.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings / Elisa Bertino (ed.).

by ECOOP (Conference) (14th : 2000 : Sophia-Antipolis, France; Cannes, France) | Bertino, Elisa.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Natural language processing - NLP 2000 : Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings / Dimitris N. Christodoulakis (ed.).

by International Conference on Natural Language Processing (2nd : 2000 : Patras, Greece) | Christodoulakis, Dimitrios.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Advances in cryptology : EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000 : proceedings / Bart Preneel (ed.).

by EUROCRYPT 2000 (2000 : Bruges, Belgium) | Preneel, Bart, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Other title: EUROCRYPT 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen (ed.).

by European Summer School in Logic, Language, and Information (9th : 1997 : Aix-en Provence, France) | Väänänen, J. (Jouko), 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Grading knowledge : Extracting degree information from texts / Steffen Staab.

by Staab, Steffen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / P.S. Thiagarajan, R. Yap (eds.).

by Asian Computing Science Conference (5th : 1999 : Phuket, Thailand) | Thiagarajan, P. S | Yap, Roland H. C, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Incremental speech translation / Jan Willers Amtrup.

by Amtrup, Jan Willers, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Discovery science : second international conference, DS'99, Tokyo, Japan, December 6-8, 1999, proceedings / Setsuo Arikawa, Koichi Furukawa, (eds.).

by Arikawa, S. (Setsuo), 1941- | Furukawa, Kōichi | International Conference on Discovery Science (2nd : 1999 : Tokyo, Japan).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Text, speech, and dialogue : second international workshop, TSD'99, Plzen, Czech Republic, September 13-17, 1999 : proceedings / Václav Matoušek [and others] (eds.).

by TSD (Conference) (2nd : 1999 : Plzen, Czech Republic) | Matoušek, Václav, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (eds.).

by International Conference on Case-Based Reasoning (3rd : 1999 : Seeon Monastery, Germany) | Althoff, Klaus-Dieter | Bergmann, R. (Ralph) | Branting, Karl.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Advances in intelligent data analysis : third international symposium, IDA-99, Amsterdam, the Netherlands, August 9-11, 1999 : proceedings / David J. Hand, Joost N. Kok, Michael R. Berthold (eds.).

by International Symposium on Intelligent Data Analysis (3rd : 1999 : Amsterdam, Netherlands) | Hand, D. J. (David J.), 1950- | Kok, Joost N | Berthold, M. (Michael).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Other title: IDA-99, advances in intelligent data analysis.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Agent-oriented programming : from prolog to guarded definite clauses / Matthew M. Huntbach, Graem A. Ringwood.

by Huntbach, Matthew M | Ringwood, Graem A.

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

Powered by Koha