Your search returned 31 results.

Not what you expected? Check for suggestions
Sort
Results
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).
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt [and others] (ed.).

by Pitt, David (David H.).

Series: Serienbezeichnung | Lecture notes in computer science ; 389.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Gert Smolka (ed.).

by European Symposium on Programming (9th : 2000 : Berlin, Germany) | Smolka, Gert | ETAPS (Conference) (3rd : 2000 : Berlin, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 1782.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).
Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Daniel Le Métayer (ed.).

by European Symposium on Programming (11th : 2002 : Grenoble, France) | Le Métayer, D. (Daniel) | ETAPS (Conference) (2002 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 2305.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).
Rewriting techniques and applications : 4th International Conference, RTA- 91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book (Ed.).

by Book, Ronald V [edt] | International Conference on Rewriting Techniques and Applications, RTA-91 (4 : 1991 - 12-04-1991 : Como, Italy).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson (ed.).

by Nielson, Hanne Riis, 1954- [edt] | European Symposium on Programming (6th : 22-04-1996 - 24-04-1996 : Linköping, Sweden).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Pierpaolo Degano, ed.

by European Symposium on Programming (12th : 2003 : Warsaw, Poland) | Degano, Pierpaolo, 1950- | ETAPS (Conference) (6th : 2003 : Warsaw, Poland).

Series: Serienbezeichnung | Lecture notes in computer science ; 2618.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).

by International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spain) | Nieuwenhuis, Robert.

Series: Serienbezeichnung | Lecture notes in computer science ; 2706.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, 2003Other title: RTA 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed.

by International Conference on the Mathematics of Program Construction (4th : 1998 : Marstrand, Sweden) | Jeuring, Johan, 1965- | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 1422.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer Verlag, ©1998Other title: MPC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.).

by TYPES '98 (1998 : Benediktinerabtei Irsee, Germany) | Altenkirch, Thorsten, 1962- | Naraschewski, Wolfgang, 1970- | Reus, Bernhard, 1965-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1657.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: New York : Springer, 1999Other title: TYPES '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).

by Lauer, Peter E, 1934-.

Series: Serienbezeichnung | Lecture notes in computer science ; 693.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).
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.).

by Bird, Richard, 1943- | Morgan, Carroll, 1952- | Woodcock, Jim | International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College).

Series: Serienbezeichnung | Lecture notes in computer science ; 669.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).
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).
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).
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).
Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien (eds.).

by International Colloquium on Automata, Languages, and Programming (23rd : 1996 : Szeged, Hungary) | Meyer auf der Heide, F. (Friedhelm), 1954- | Monien, B.

Series: Serienbezeichnung | Lecture notes in computer science ; 1099.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1996Other title: ICALP '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.).

by International Colloquium on Automata, Languages, and Programming (1995 : Szeged, Hungary) | Fülöp, Zoltán | Gécseg, F | European Association for Theoretical Computer Science.

Series: Serienbezeichnung | Lecture notes in computer science ; 944.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1995Other title: ICALP 95.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska.

by Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : Tatranská Lomnica, Slovakia) | Gruska, Jozef.

Series: Serienbezeichnung | Lecture notes in computer science ; 53.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1977Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.).

by International Colloquium on Automata, Languages, and Programming (24th : 1997 : Bologna, Italy) | Degano, Pierpaolo, 1950- | Gorrieri, Roberto | Marchetti-Spaccamela, Alberto | European Association for Theoretical Computer Science.

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

Powered by Koha