Your search returned 25 results.

Not what you expected? Check for suggestions
Sort
Results
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings / I.V. Ramakrishnan (ed.).

by PADL 2001 (2001 : Las Vegas, Nev.) | Ramakrishnan, I. V.

Series: Serienbezeichnung | Lecture notes in computer science ; 1990.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).
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).
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).
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).
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).
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).
Languages and compilers for parallel computing : 9th International Workshop, LCPC '96, San Jose, California, USA, August 8-10, 1996 : proceedings / David Sehr [and others], (eds.).

by LCPC (Workshop) (9th : 1996 : San Jose, Calif.) | Sehr, David.

Series: Serienbezeichnung | Lecture notes in computer science ; 1239.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©1997Other title: LCPC '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Compiling natural semantics / Mikael Pettersson.

by Pettersson, Mikael.

Series: Serienbezeichnung | Lecture notes in computer science ; 1549.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).
Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings / Pierre Cointe (ed.).

by Reflection'99 (1999 : Saint-Malo, France) | Cointe, Pierre, 1954-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1616.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).
Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto File.

by SAS'99 (1999 : Venice, Italy) | Cortesi, Agostino, 1963- | Filé, Gilberto, 1951-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1694.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Other title: SAS'99 Static analysis.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes [and others], (eds.).

by Brookes, S. D. (Stephen D.) | International Conference on the Mathematical Foundations of Programming Semantics (7th : 1991 : Carnegie Mellon University).

Series: Serienbezeichnung | Lecture notes in computer science ; 598.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).
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).

by International Static Analysis Symposium (1st : 1994 : Namur, Belgium) | Le Charlier, Baudouin, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 864.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).
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby.

by Colloquium on Automata, Languages, and Programming (4th : 1977 : Turun yliopisto) | Salomaa, Arto | Steinby, Magnus.

Series: Serienbezeichnung | Lecture notes in computer science ; 52.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).
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.).

by European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark) | Jones, Neil D.

Series: Serienbezeichnung | Lecture notes in computer science ; 432.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).
Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński, eds.

by PLILP '88 (1988 : Orléans, France) | Deransart, Pierre | Lorho, Bernard | Małuszyński, J. (Jan), 1941-.

Series: Serienbezeichnung | Lecture notes in computer science ; 348.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds.

by PLILP '94 (1994 : Madrid, Spain) | Hermenegildo, Manuel | Penjam, Jaan, 1955-.

Series: Serienbezeichnung | Lecture notes in computer science ; 844.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: PLILP '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
Pages

Powered by Koha