Refine your search

Your search returned 609 results.

Not what you expected? Check for suggestions
Sort
Results
Industrial and engineering applications of artificial intelligence and expert systems : 5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992 : proceedings / F. Belli, F.J. Radermacher, eds.

by Belli, Fevzi | Radermacher, Franz-Josef | International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (5th : 1992 : Paderborn, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 604. | 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, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / David Page, ed.

by ILP-98 (8th : 1998 : Madison, Wis.) | Page, David.

Series: Serienbezeichnung | Lecture notes in computer science ; 1446. | 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, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 proceedings / S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu (eds.).

by International Conference on Knowledge Based Computer Systems (2nd : 1989 : Bombay, India) | Ramani, S | Chandrasekar, R | Anjaneyulu, K. S. R.

Series: Serienbezeichnung | Lecture notes in computer science ; 444. | 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, ©1990Other title: KBCS '89.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings / J. Komorowski, Z.W. Raś (eds.).

by Komorowski, J. (Jan) | Raś, Zbigniew | International Symposium on Methodologies for Intelligent Systems (7th : 1993 : Trondheim, Norway).

Series: Serienbezeichnung | Lecture notes in computer science ; 689. | 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, ©1993Other title: ISMIS '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization / J.L. Nazareth.

by Nazareth, J. L. (John Lawrence).

Series: Serienbezeichnung | Lecture notes in computer science ; 769.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).
Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / A. Beaumont, G. Gupta (eds.).

by Beaumont, A. (Anthony), 1959- | Gupta, G. (Gopal), 1963- | International Conference on Logic Programming (8th : 1991 : Paris, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 569.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Progress in artificial intelligence : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings / Ernesto Costa, Amilcar Cardoso (eds.).

by Portuguese Conference on Artificial Intelligence (8th : 1997 : Coimbra, Portugal) | Costa, Ernesto | Cardoso, Amilcar.

Series: Serienbezeichnung | Lecture notes in computer science ; 1323. | 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).
Ray shooting, depth orders and hidden surface removal / Mark de Berg.

by Berg, Mark de.

Series: Serienbezeichnung | Lecture notes in computer science ; 703.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).
Security protocols : 5th international workshop, Paris, France, April 7-9, 1997 : proceedings / Bruce Christianson [and others] (eds.).

by Christianson, Bruce | International Workshop on Security Protocols (5th : 1997 : Paris, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 1361.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Principles and practice of constraint programming--CP'97 : Third International Conference, CP'97, Linz, Austria, October 29-November 1, 1997 : proceedings / Gert Smolka (ed.).

by CP '97 (1997 : Linz, Austria) | Smolka, Gert.

Series: Serienbezeichnung | Lecture notes in computer science ; 1330.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).
Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter (eds.).

by PDK '91 (1991 : Kaiserslautern, Germany) | Boley, H. (Harold) | Richter, Michael M, 1938-.

Series: Serienbezeichnung | Lecture notes in computer science ; 567. | 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, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński (eds.).

by PLILP '90 (1990 : Linköping, Sweden) | Deransart, Pierre | Małuszyński, J. (Jan), 1941-.

Series: Serienbezeichnung | Lecture notes in computer science ; 456.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1990Other title: PLILP '90.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.).

by Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain) | Ehrig, Hartmut | Orejas, F. (Fernando) | COMPASS Workshop (4th : 1992 : Caldes de Malavella, Spain).

Series: Serienbezeichnung | Lecture notes in computer science ; 785.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).
Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud.

by Jouannaud, Jean-Pierre | International Conference on Rewriting Techniques and Applications (1st : 1985 : Dijon, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 202.Material type: Text Text; Format: available online remote; 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).
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings / Michel Morvan, Christoph Meinel, Daniel Krob (eds).

by Annual Symposium on Theoretical Aspects of Computer Science (15th : 1998 : Paris, France) | Morvan, Michel | Meinel, Christoph | Krob, Daniel.

Series: Serienbezeichnung | Lecture notes in computer science ; 1373.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Static analysis : 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck, ed.

by International Static Analysis Symposium (4th : 1997 : Paris, France) | Van Hentenryck, Pascal.

Series: Serienbezeichnung | Lecture notes in computer science ; 1302.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).
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / Martín Abadi, Takayasu Ito (eds.).

by TACS'97 (1997 : Sendai-shi, Miyagi-ken, Japan) | Abadi, Martín | Itō, T. (Takayasu), 1940-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1281.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).
Supercomputing : 1st international conference, Athens, Greece, June 8-12, 1987 : proceedings / E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos, eds.

by Houstis, E. N. (Elias N.) | Papatheodorou, T. S. (Theodore S.) | Polychronopoulos, C. D. (Constantine D.) | Institouto Technologias Hypologistōn (Patra, Greece) | International Conference on Supercomputing (1st : 1987 : Athens, Greece).

Series: Serienbezeichnung | Lecture notes in computer science ; 297.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Other title: Supercomputing 1987.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / M. Bezem, J.F. Groote (eds.).

by International Conference on Typed Lambda Calculi and Applications (1993 : Utrecht, Netherlands) | Bezem, M. (Marc), 1956- | Groote, J. F. (Jan Friso), 1965-.

Series: Serienbezeichnung | Lecture notes in computer science ; 664.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Combinatorial pattern matching : 11th annual symposium, CPM 2000, Montreal, Canada, June 21-23, 2000 ; proceedings / Raffaele Giancarlo, David Sankoff (eds.).

by CPM (Symposium) (11th : 2000 : Montréal, Québec) | Giancarlo, Raffaele | Sankoff, David.

Series: Serienbezeichnung | Lecture notes in computer science ; 1848.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2000Other title: CPM 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha