Refine your search

Your search returned 11784 results.

Not what you expected? Check for suggestions
1.
Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29-April 2, 1982 / edited by Thomas Beth.

by Workshop on Cryptography (1982 : Burg Feuerstein, Germany) | Beth, Thomas, 1949-.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, German 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.
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpínski.

by International FCT-Conference (4th : 1983 : Borgholm, Sweden) | Karpiński, Marek, 1948- | Universitetet i Linköping. Department of Computer and Information Science.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
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 .
4.
Methods and tools for computer integrated manufacturing / Advanced CREST Course on Computer Integrated Manufacturing, CIM 83, Karlsruhe, Germany, September 5 to 16, 1983 ; edited by U. Rembold and R. Dillmann.

by Advanced CREST Course on Computer Integrated Manufacturing (1983 : Karlsruhe, Germany) | Rembold, Ulrich | Dillmann, R, 1949-.

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Feedback shift registers / Christian Ronse.

by Ronse, Christian, 1954-.

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones.

by Bekič, H. (Hans), 1936-1982 | Jones, C. B. (Cliff B.), 1944-.

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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 .
8.
EURO-PAR '95 parallel processing : First Intrnational EURO PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings / Seif Haridi, Khayri Ali, Peter Magnusson, eds.

by International EURO-PAR Conference (1st : 1995 : Stockholm, Sweden) | Haridi, Seif | Ali, Khayri | Magnusson, Peter.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings / Heinz Beilner, Falko Bause, eds.

by International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (8th : 1995 : Heidelberg, Germany) | Beilner, Heinz | Bause, Falko | GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems (8th : 1995 : Heidelberg, Germany).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Other title: Performance tools '95 | MMB '95.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.).

by Honavar, Vasant | Slutzki, Giora | International Colloquium on Grammatical Inference (4th : 1998 : Ames, Iowa).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: ICGI-98, grammatical inference.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
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 TPHOLs (11th : 1998 : Canberra, A.C.T.) | Grundy, J. (Jim), 1968- | Newey, Malcolm Charles.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Advances in cryptology, 1981-1997 : electronic proceedings and index of the CRYPTO and EUROCRYPT conferences, 1981-1997 / Kevin S. McCurley, Claus Dieter Ziegler (eds.).

by McCurley, Kevin S | Ziegler, Claus Dieter | CRYPTO. Advances in cryptology | EUROCRYPT (Conference). Advances in cryptology.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.).

by Italian Conference on Algorithms and Complexity (4th : 2000 : Rome, Italy) | Bongiovanni, Giancarlo | Gambosi, G. (Giorgio), 1955- | Petreschi, Rossella, 1950-.

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 .
14.
Adaptive hypermedia and adaptive Web-based systems : international conference, AH 2000, Trento, Italy, August 28-30, 2000 : proceedings / Peter Brusilovsky, Oliviero Stock, Carlo Strapparava (eds.).

by International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems (2000 : Trento, Italy) | Brusilovsky, Peter | Stock, Oliviero | Strapparava, Carlo, 1962-.

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 .
15.
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 .
16.
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 .
17.
Spatial cognition II : integrating abstract theories, empirical studies, formal methods, and practical applications / Christian Freksa [and others], eds.

by Freksa, C.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2000Other title: Spatial cognition two | Spatial cognition 2.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
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 .
19.
Mobile and wireless communications networks : IFIP- TC6/European Commission Networking 2000 International Workshop, MWCN 2000 : Paris, France, May 16-17, 2000 : proceedings / Cambyse Guy Omidyar (ed.).

by IFIP-TC6/European Commission Networking 2000 International Workshop (2000 : Paris, France) | Omidyar, Cambyse Guy, 1944-.

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 .
20.
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 .

Powered by Koha