Refine your search

Your search returned 211 results.

Not what you expected? Check for suggestions
1.
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed.

by European Symposium on Programming (2nd : 1988 : Nancy, France) | Ganzinger, H. (Harald), 1950- | Colloquium on Trees in Algebra and Programming CAAP '88 (13th : 1988 : Nancy, France) [].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.).

by PADL '99 (1999 : San Antonio, Tex.) | Gupta, Gopal.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen (ed.).

by European Summer School in Logic, Language, and Information (9th : 1997 : Aix-en Provence, France) | Väänänen, J. (Jouko), 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.).

by PADL 2000 (2000 : Boston, Mass.) | Pontelli, Enrico, 1967- | Santos Costa, Vítor, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2000Other title: PADL 2000, practical aspects of declarative languages.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / S.P. Midkiff [and others] (eds.).

by LCPC (Workshop) (13th : 2000 : Yorktown Heights, N.Y.) | Midkiff, Samuel P. (Samuel Pratt), 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2001Other title: LCPC 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers / Richard Connor, Alberto Mendelzon (eds.).

by International Workshop on Database Programming Languages (7th : 1999 : Rannoch, Scotland) | Connor, Richard | Mendelzon, Alberto O.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer-Verlag, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot, ed.

by International Static Analysis Symposium (8th : 2001 : Paris, France) | Cousot, Patrick, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings / Akinori Yonezawa, Satoshi Matsuoka (eds.).

by Reflection 2001 (2001 : Kyoto, Japan) | Yonezawa, Akinori | Matsuoka, Satoshi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).

by PADL 2002 (2002 : Portland, Or.) | Krishnamurthi, Shriram | Ramakrishnan, C. R | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: PADL 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla, (eds.).

by International Static Analysis Symposium (9th : 2002 : Madrid, Spain) | Hermenegildo, Manuel | Puebla, Germán.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Database programming languages : 8th international workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers / Giorgio Ghelli, Gösta Grahne (eds.).

by International Workshop on Database Programming Languages (8th : 2001 : Frascati, Italy) | Ghelli, Giorgio, 1961- | Grahne, G, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings / Veronica Dahl, Philip Wadler (eds.).

by PADL 2003 (2003 : New Orleans, La.) | Dahl, Veronica, 1950- | Wadler, Philip, 1956-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Programming languages and systems : first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings / Atsushi Ohori (ed.).

by APLAS 2003 (2003 : Beijing, China) | Ohori, Atsushi, 1957-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / Georg Lausen, Dan Suciu (eds.).

by International Workshop on Database Programming Languages (9th : 2003 : Potsdam, Germany) | Lausen, Georg | Suciu, Dan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / Wei-Ngan Chin (ed.).

by APLAS 2004 (2004 : Taipei, Taiwan) | Chin, Wei-Ngan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers / Lawrence Rauchwerger (ed.).

by LCPC (Workshop) (16th : 2003 : College Station, Tex.) | Rauchwerger, Lawrence.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Mooly Sagiv (ed.).

by European Symposium on Programming (14th : 2005 : Edinburgh, Great Britain) | Sagiv, Mooly.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: ESOP 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / David Schmidt, (ed.).

by European Symposium on Programming (13th : 2004 : Barcelona, Spain) | Schmidt, David A, 1953 May 10- | ETAPS (Conference) (2004 : Barcelona, Spain).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: ESOP 2004 | ETAPS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha