Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Olivier Danvy
11 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Formal Modeling: Actors, Open Systems, Biological Systems
|
|
2011 |
Okänt |
| 2-3 |
Programs as data objects - second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
(flera utgåvor)
|
Symposium on Programs as Data Objects 2001) Aarhus :
|
cop. 2001 |
Engelska |
| 4 |
Partial evaluation - International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 : selected papers
|
International Seminar on Partial Evaluation 1996) (Dagstuhl :
|
cop. 1996 |
Engelska |
| 5 |
Partial Evaluation
|
Olivier Danvy
|
uuuu-uuuu |
Okänt |
| 6 |
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming
|
Olivier Danvy
|
uuuu-uuuu |
Okänt |
| 7 |
Partial Evaluation
|
|
1996 |
Engelska |
| 8 |
Automatic Program Development electronic resource - A Tribute to Robert Paige
|
Olivier. Danvy
|
2008 |
Engelska |
| 9 |
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
|
Gul. Agha
|
2011 |
Engelska |
| 10 |
Proceedings of the 2012 annual Workshop on Scheme and Functional Programming : September 2012, Copenhagen, Denmark
|
Olivier Danvy
|
uuuu-uuuu |
Okänt |
| 11 |
Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21-23, 2001 Proceedings
|
Olivier Danvy
|
uuuu-uuuu |
Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.