Refine your search

Your search returned 609 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Automata, languages, and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.).

by International Colloquium on Automata, Languages, and Programming (25th : 1998 : Ålborg, Denmark) | Larsen, K. G. (Kim G.), 1957- | Skyum, Sven, 1946- | Winskel, G. (Glynn) | European Association for Theoretical Computer Science | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1443.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998Other title: ICALP '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi, ed.

by International Static Analysis Symposium (5th : 1998 : Pisa, Italy) | Levi, G. (Giorgio), 1942- | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1503.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998Other title: SAS '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algorithms and computation : 9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998 : proceedings / Kyung-Yong Chwa, Oscar H. Ibarra (eds.).

by ISAAC (Symposium) (9th : 1998 : Taejŏn-si, Korea) | Ibarra, Oscar H | Chwa, Kyung-Yong, 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1533.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©1998Other title: ISAAC'98 | ISAAC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Information hiding : Second International Workshop, IH'98 : Portland, Oregon, USA, April 14-17, 1998 : proceedings / David Aucsmith (ed.).

by IH'98 (1998 : Portland, Or.) | Aucsmith, David.

Series: Serienbezeichnung | Lecture notes in computer science ; 1525.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).
Place hold Log in to add tags
Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, the Netherlands, March 29-31, 1999 : proceedings / Frits W. Vaandrager, Jan H. van Schuppen (eds.).

by HSCC (Conference) (1999 : Berg en Dal, Netherlands) | Vaandrager, Frits | Schuppen, J. H. van.

Series: Serienbezeichnung | Lecture notes in computer science ; 1569.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).
Place hold Log in to add tags
Genetic programming : Second European Workshop, EuroGP '99, Göteborg, Sweden, May 26-27, 1999 : proceedings / Riccardo Poli [and others] (eds.).

by EuroGP '99 (1999 : Göteborg, Sweden) | Poli, Riccardo, 1961- | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1598.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Other title: EuroGP '99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings / Sas̆o Dz̆eroski, Peter Flach (eds.).

by ILP-99 (1999 : Bled, Slovenia) | Džeroski, Sašo, 1968- | Flach, Peter A | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1634. | 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, ©1999Other title: ILP-99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / Michael González Harbour, Juan A. de la Puente (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (1999 : Santander, Spain) | González Harbour, Michael, 1960- | De la Puente, Juan A, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1622.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).
Place hold Log in to add tags
Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ; proceedings / Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (Eds.).

by International Colloquium on Automata, Languages, and Programming (1999 : Prague, Czech Republic) | Emde Boas, P. van | Wiedermann, J. (Juraj) | Nielsen, M. (Mogens), 1949- | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1644.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©1999Other title: ICALP'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
High performance computing and networking : 8th international conference, HPCN Europe, 2000, Amsterdam, the Netherlands, May 8-10, 2000 : proceedings / Marian Bubak [and others], (eds.).

by International Conference and Exhibition on High-Performance Computing and Networking (8th : 2000 : Amsterdam, Netherlands) | Bubak, Marian.

Series: Serienbezeichnung | Lecture notes in computer science ; 1823.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).
Place hold Log in to add tags
Advanced information systems engineering : 12th international conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 : proceedings / Benkt Wangler, Lars Bergman (eds.).

by CAiSE (Conference) (12th : 2000 : Stockholm, Sweden) | Wangler, Benkt | Bergman, Lars, 1945-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1789.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).
Place hold Log in to add tags
Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings / Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.).

by International Colloquium on Automata, Languages, and Programming (27th : 2000 : Geneva, Switzerland) | Welzl, Emo | Montanari, Ugo | Rolim, José D. P | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1853.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000Other title: ICALP 2000 | International Colloquium ICALP 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Discovery science : third international conference, DS 2000, Kyoto, Japan, December 4-6, 2000, proceedings / Setsuo Arikawa, Shinichi Morishita (eds.).

by Arikawa, S. (Setsuo), 1941- | Morishita, Shinichi, 1960- | International Conference on Discovery Science (3rd : 2000 : Kyoto, Japan).

Series: Serienbezeichnung | Lecture notes in computer science ; 1967. | 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, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algorithms and computation : 11th international conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000 ; proceedings / D.T. Lee, Shang-Hua Teng (eds.).

by ISAAC (Symposium) (11th : 2000 : Taipei, Taiwan) | Lee, Der-Tsai | Teng, Shang-Hua | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1969.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2000Other title: ISAAC 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rūsin̦š Freivalds (ed.).

by FCT 2001 (2001 : Rīga, Latvia) | Freĭvald, R. V.

Series: Serienbezeichnung | Lecture notes in computer science ; 2138.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).
Place hold Log in to add tags
Computing and combinatorics : 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings / Wen-Lian Hsu, Ming-Yang Kao, eds.

by COCOON '98 (1998 : Taipei, Taiwan) | Hsu, Wen-Lian | Kao, Ming-Yang.

Series: Serienbezeichnung | Lecture notes in computer science ; 1449.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998Other title: COCOON '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers / Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.).

by International Workshop on Implementing Automata (3rd : 1998 : Rouen, France) | Champarnaud, Jean-Marc [editor] | Maurel, Denis [editor] | Ziadi, Djelloul [editor].

Series: Serienbezeichnung | Lecture notes in computer science ; 1660.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).
Place hold Log in to add tags
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).

by CSL '97 (1997 : Århus, Denmark) | Thomas, Wolfgang, 1947- | Nielsen, M. (Mogens), 1949- | European Association for Computer Science Logic.

Series: Serienbezeichnung | Lecture notes in computer science ; 1414.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©1998Other title: CSL '97 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer science logic : 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.).

by CSL '96 (1996 : Utrecht, Netherlands) | Dalen, D. van (Dirk), 1932- | Bezem, M. (Marc), 1956- | European Association for Computer Science Logic.

Series: Serienbezeichnung | Lecture notes in computer science ; 1258.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hng Kong : Springer-Verlag, ©1997Other title: CSL' 96 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, the Netherlands, April 26-28, 1999 : proceedings / Paolo Ciancarini, Alexander L. Wolf (eds.).

by COORDINATION '99 (1999 : Amsterdam, Netherlands) | Ciancarini, Paolo, 1959- | Wolf, Alexander L.

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

Powered by Koha