Refine your search

Your search returned 609 results.

Not what you expected? Check for suggestions
Sort
Results
Algorithmic learning theory : 8th international workshop, ALT '97, Sendai, Japan, October 6-8, 1997 : proceedings / Ming Li, Akira Maruoka (eds.).

by ALT '97 (1997 : Sendai, Japan) | Li, Ming | Maruoka, Akira.

Series: Serienbezeichnung | Lecture notes in computer science ; 1316. | 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, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings / M. Bonuccelli, P. Crescenzi, R. Petreschi, eds.

by Italian Conference on Algorithms and Complexity (2nd : 1994 : Rome, Italy) | Bonuccelli, M. (Maurizio), 1952- | Crescenzi, Pierluigi | Petreschi, Rossella, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 778.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings / Hon Wai Leong, Hiroshi Imai, Sanjay Jain (eds.).

by ISAAC (Symposium) (8th : 1997 : Singapore) | Leong, Hon Wai, 1955- | Imai, H. (Hiroshi), 1958- | Jain, Sanjay, 1965 February 22-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1350.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Aspects of automated natural language generation : 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 : proceedings / [edited by] R. Dale [and others].

by International Workshop on Natural Language Generation (6th : 1992 : Trento, Italy) | Dale, Robert, 1959- | International Workshop on Natural Language Generation (6th : 1992 : Trento, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 587. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; 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).
Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings / Pietro Torasso (ed.).

by Associazione italiana per l'intelligenza artificiale. Congress (3rd : 1993 : Torino, Italy) | Torasso, Pietro.

Series: Serienbezeichnung | Lecture notes in computer science ; 728. | 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-Verlag, ©1993Other title: AIIA '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in database technology--EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings / A. Pirotte, C. Delobel, G. Gottlob, eds.

by International Conference on Extending Database Technology (3rd : 1992 : Vienna, Austria) | Pirotte, A | Delobel, C, 1938- | Gottlob, G. (Georg).

Series: Serienbezeichnung | Lecture notes in computer science ; 580.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Other title: EDBT '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in databases : 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 7-9, 1993 : proceedings / M. Worboys, A.F. Grundy (eds.).

by British National Conference on Databases (11th : 1993 : Keele, England) | Worboys, Michael | Grundy, A. F. (Anna Frances).

Series: Serienbezeichnung | Lecture notes in computer science ; 696.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Other title: BNCOD 11.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms--ESA '97 : 5th annual European symposium, Graz, Austria, September 15-17, 1997 : proceedings / Rainer Burkard, Gerhard Woeginger (eds.).

by ESA (Symposium) (5th : 1997 : Graz, Austria) | Burkard, Rainer E | Woeginger, Gerhard.

Series: Serienbezeichnung | Lecture notes in computer science ; 1284.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial intelligence in higher education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989 : proceedings / V. Mařik, O. Štěpánková, Z. Zdráhal (eds.).

by Mařík, V. (Vladimír) | Štěpánková, O. (Olga) | Zdráhal, Z. (Zdeněk) | European Centre for Higher Education (Unesco).

Series: Serienbezeichnung | Lecture notes in computer science ; 451. | 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-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / Alan J. Hu, Moshe Y. Vardi (eds.).

by CAV (Conference) (1998 : Vancouver, B.C.) | Hu, Alan J. (Alan John) | Vardi, Moshe Y.

Series: Serienbezeichnung | Lecture notes in computer science ; 1427.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch (ed.).

by International Symposium DISCO '92 (1992 : Bath, England) | Fitch, John, 1945-.

Series: Serienbezeichnung | Lecture notes in computer science ; 721.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Other title: DISCO '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Combinatorial pattern matching : 9th annual symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings / Martin Farach-Colton (ed.).

by CPM (Symposium) (9th : 1998 : Piscataway, N.J.) | Farach-Colton, Martin.

Series: Serienbezeichnung | Lecture notes in computer science ; 1448.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Eurocode '90 : international symposium on coding theory and applications, Udine, Italy, November 5-9, 1990 : proceedings / G. Cohen, P. Charpin, eds.

by Eurocode '90 (1990 : Udine, Italy) | Cohen, G. (Gérard), 1951- | Charpin, P. (Pascale), 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 514.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed.

by Joseph, M | Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England).

Series: Serienbezeichnung | Lecture notes in computer science ; 331.Material type: Text Text; Format: available online remote; 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).
Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.).

by Laugier, Christian.

Series: Serienbezeichnung | Lecture notes in computer science ; 708.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph drawing : 5th International Symposium, GD'97, Rome, Italy, September 18-20, 1997 : proceedings / Giuseppe DiBattista (ed.).

by Di Battista, Giuseppe | GD (Symposium) (5th : 1997 : Rome, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 1353.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer Verlag, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings / Hans Jürgen Ohlbach (ed.).

by German Conference on Artificial Intelligence (16th : 1992 : Bonn, Germany) | Ohlbach, Hans Jürgen.

Series: Serienbezeichnung | Lecture notes in computer science ; 671. | 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, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Hardware and software architectures for fault tolerance : experiences and perspectives / Michel Banâtre, Peter A. Lee, eds.

by Banâtre, Michel, 1950- | Lee, P. A, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 774.Material type: Text Text; Format: available online remote; 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).
Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings / H. Dieter Rombach, Victor R. Basili, Richard W. Selby (eds.).

by Rombach, H. Dieter | Basili, Victor R, 1940- | Selby, Richard W.

Series: Serienbezeichnung | Lecture notes in computer science ; 706.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.).

by Ehrig, Hartmut | Kreowski, H.-J. (Hans-Jörg) | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 532.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha