Refine your search

Your search returned 609 results.

Not what you expected? Check for suggestions
Sort
Results
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.).

by AISC (Conference) (5th : 2000 : Madrid, Spain) | Campbell, J. A, 1940- | Roanes-Lozano, Eugenio.

Series: Serienbezeichnung | Lecture notes in computer science ; 1930. | 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, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov, ed.

by International Conference on Automated Deduction (18th : 2002 : Copenhagen, Denmark) | Voronkov, Andrei, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2392. | 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, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer vision systems : first international conference, ICVS '99, Las Palmas, Gran Canaria, Spain, January 13-15, 1999 : proceedings / Henrik I. Christensen (ed.).

by ICVS (Conference : Computer vision systems) (1st : 1999 : Las Palmas, Canary Islands) | Christensen, H. I. (Henrik I.), 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1542.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
New horizons in information management : 20th British National Conference on Databases, BNCOD 20, Coventry, UK, July 15-17, 2003 : proceedings / Anne James, Brian Lings, Muhammad Younas (eds.).

by British National Conference on Databases (20th : 2003 : Coventry, England) | James, Anne (Anne E.) | Lings, B. J, 1950- | Younas, Malik Mohammad.

Series: Serienbezeichnung | Lecture notes in computer science ; 2712.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2003Other title: BNCOD 20.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.).

by International Static Analysis Symposium (7th : 2000 : Santa Barbara, Calif.) | Palsberg, Jens.

Series: Serienbezeichnung | Lecture notes in computer science ; 1824.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Compiler construction : 8th International Conference, CC '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / Stefan Jähnichen, ed.

by CC (Conference) (8th : 1999 : Amsterdam, Netherlands) | Jähnichen, Stefan | ETAPS (Conference) (2nd : 1999 : Amsterdam, Netherlands).

Series: Serienbezeichnung | Lecture notes in computer science ; 1575.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Other title: CC '99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Product focused software process improvement : Second International Conference PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings / Frank Bomarius, Markku Oivo (eds.).

by International Conference PROFES 2000 (2000 : Oulu, Finland) | Bomarius, Frank | Oivo, Markku.

Series: Serienbezeichnung | Lecture notes in computer science ; 1840.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).

by Workshop on Computer Science Logic (13th : 1999 : Madrid, Spain) | Flum, Jörg | Rodríguez Artalejo, M. (Mario).

Series: Serienbezeichnung | Lecture notes in computer science ; 1683.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 1999Other title: CSL'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.).

by SOFSEM (1999 : Milovy, Czech Republic) | Pavelka, Jan, 1948- | Tel, Gerard | Bartošek, Miroslav.

Series: Serienbezeichnung | Lecture notes in computer science ; 1725.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Management technologies for E-commerce and E-business applications : 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002 : proceedings / Metin Feridum, Peter Kropf, Gilbert Babin (eds.).

by IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (13th : 2002 : Montréal, Québec) | Feridun, Metin | Kropf, Peter, 1956- | Babin, Gilbert.

Series: Serienbezeichnung | Lecture notes in computer science ; 2506.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002Other title: DSOM 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and computation : 13th international symposium, ISAAC 2002, Vancouver, BC, Canada, November 21-23, 2002 : proceedings / Prosenjit Bose, Pat Morin (eds.).

by ISAAC (Symposium) (13th : 2002 : Vancouver, B.C.) | Bose, Prosenjit | Morin, Pat.

Series: Serienbezeichnung | Lecture notes in computer science ; 2518.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Other title: ISAAC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings / Miroslav Bartošek, Jan Staudek, Jiří Wiedermann, eds.

by SOFSEM (Conference) (22nd : 1995 : Milovy, Czech Republic) | Bartošek, Miroslav | Staudek, Jan | Wiedermann, J. (Juraj).

Series: Serienbezeichnung | Lecture notes in computer science ; 1012.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Other title: Theory and practice of informatics.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert R. Kuchen, S. Doaitse Swierstra, eds.

by PLILP '96 (1996 : Aachen, Germany) | Kuchen, Herbert R, 1958- | Swierstra, S. Doaitse.

Series: Serienbezeichnung | Lecture notes in computer science ; 1140.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996Other title: PLILP '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari, Vladimiro Sassone, eds.

by International Conference on Concurrency Theory (7th : 1996 : Pisa, Italy) | Montanari, U. (Ugo) | Sassone, Vladimiro.

Series: Serienbezeichnung | Lecture notes in computer science ; 1119.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Other title: Concurrency theory.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning (ed.).

by Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany) | Kleine Büning, H. (Hans) | European Association for Computer Science Logic.

Series: Serienbezeichnung | Lecture notes in computer science ; 1092.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996Other title: CSL '95.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings / Jin-Yi Cai, Chak Kuen Wong (eds.).

by COCOON '96 (1996 : Hong Kong, China) | Cai, Jin-yi, 1961- | Wong, Chak-Kuen, 1938-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1090.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996Other title: COCOON '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings / Wojciech Penczek, Andrzej Szałas, eds.

by Penczek, Wojciech | Szałas, Andrzej, 1958- | Symposium on Mathematical Foundations of Computer Science (1972- ) (21st : 1996 : Kraków, Poland).

Series: Serienbezeichnung | Lecture notes in computer science ; 1113.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Other title: MFCS '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cryptography and coding : 5th IMA conference, Cirencester, UK, December 18-20, 1995 : proceedings / Colin Boyd, ed.

by Boyd, Colin.

Series: Serienbezeichnung | Lecture notes in computer science ; 1025.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fast software encryption : second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings / Bart Preneel, ed.

by Preneel, Bart, 1963-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1008.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in databases : 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12-14, 1995 : proceedings / Carole Goble, John Keane, eds.

by British National Conference on Databases (13th : 1995 : Manchester, England) | Goble, Carole, 1961- | Keane, John, 1961-.

Series: Serienbezeichnung | Lecture notes in computer science ; 940.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Other title: BNCOD 13.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha