Skip to contents

Danvy, Olivier [Editor] ; Seminar Partial Evaluation 1996 Dagstuhl

Partial evaluation : international Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996; selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1110
Jones, Neil D. [Author]; Gomard, Carsten K. [Author]; Sestoft, Peter [Author]

Partial evaluation and automatic program generation - [2. print.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Prentice Hall, [1994]

Published in: Prentice Hall International series in computer science
Hatcliff, John [Editor]; Mogensen, Torben Æ. [Other]; Thiemann, Peter [Other] ; Københavns Universitet Datalogisk Institut, International Summer School on Partial Evaluation 1998 Kopenhagen

Partial evaluation : practice and theory ; DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Københavns Universitet: DIKU ... international summer school ; 1998 - Lecture notes in computer science ; 1706
Ramalingam, Ganesan [Author]

Bounded incremental computation

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1089
Henrici, Peter [Author]

Applied and computational complex analysis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Wiley, 19XX-

Published in: A Wiley-Interscience publication- Pure and applied mathematics
Ihonvbere, Julius O. [Author]

Africa and the new world order

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Bern; Frankfurt am Main; Berlin; Vienna [u.a.]: Lang, 2000

Published in: Society and politics in Africa ; 700
Dicke, Hugo [Author]; Glismann, Hans H. [Author]

Industrialisierungsbemühungen arabischer OPEC-Staaten : Rückwirkungen auf die Bundesrepublik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Tübingen: Mohr, 1986

Published in: Kieler Studien ; 200
Trabold, Harald [Other] ; Hans-Böckler-Stiftung, Deutsches Institut für Wirtschaftsforschung

Herausforderung Globalisierung : Konsequenzen für die Bildungs-, Steuer- und Arbeitsmarktpolitik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Marburg: Schüren, 2001

Published in: Hans-Böckler-Stiftung ; Strukturpolitik
Alpuente, Maria [Other]

Specialization of funtional logic programs based on needed narrowing

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Published in: Aachener Informatik-Berichte ; 199904
Nishimura, Susumu [Author] ; Susumu Nishimura [Contributor]

Schlegel Diagram and Optimizable Immediate Snapshot Protocol

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
De Angelis, Emanuele [Author] ; Emanuele De Angelis [Contributor]

Software Model Checking by Program Specialization

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Fierens, Daan [Author] ; Daan Fierens [Contributor]

Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Hatcliff, John [Author] ; Mogensen, Torben [Other]; Thiemann, Peter [Other]

Partial Evaluation. Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1999

Published in: Lecture notes in computer science ; 1706
Danvy, Olivier [Author] ; Glück, Robert [Other]; Thiemann, Peter [Other]

Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1110
Danvy, Olivier [Other] ; Seminar Partial Evaluation 1996 Dagstuhl

Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 111000
Ramalingam, G. [Author]

Bounded Incremental Computation

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1089
Ramalingam, G. [Author]

Bounded incremental computation

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 108900
Striegnitz, Jörg [Author]

Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2004
Endo, Fernando Akira [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Charles, Henri-Pierre [Contributor]

Génération dynamique de code pour l'optimisation énergétique ; Online Auto-Tuning for Performance and Energy through Micro-Architecture Dependent Code Generation

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2015-09-18
McCarthy, F. Desmond [Author]; Wolf, Holger [Author]; Wu, Yi [Author]

Malaria and Growth

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

World Bank, Washington, DC, 2000

Published in: Policy Research Working Paper ; No. 2303

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication