Jump to main content

yr 〜
yr

Search results 5

Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday : festschrift 2011 symposium : Nov 2011, Menlo Park, CA. (Lecture Notes in Computer Science ; 7000. Festschrift)

Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday : festschrift 2011 symposium : Nov 2011, Menlo Park, CA. (Lecture Notes in Computer Science ; 7000. Festschrift)
Paper図書
Springerc2011.<M17-12-2881>
National Diet Library
  • Author HeadingAgha, Gul A. Danvy, Olivier. Meseguer, José.

Programs as data objects : second symposium, PADO 2001 : Aarhus, Denmark, May 21-23, 2001 : proceedings. : PADO-2 : May 2001, Aarhus, Denmark. (Lecture Notes in Computer Science ; 2053)

Programs as data objects : second symposium, PADO 2001 : Aarhus, Denmark, May 21-23, 2001 : proceedings. : PADO-2 : May 2001, Aarhus, Denmark. (Lecture Notes in Computer Science ; 2053)
Paper図書
Springer2001.<M17-03-4696>
National Diet Library
  • Author Heading...s and Systems. Danvy, Olivier. Filinski, Andrzej, 1965- Ass...

Automatic program development : a tribute to Robert Paige

Automatic program development : a tribute to Robert Paige
Paper図書
edited by Olivier Danvy ... [et al.]Springerc2008
Other Libraries in Japan
  • Author HeadingPaige, Robert A. Danvy, Olivier Mairson, Harry Henglein, Frit...

Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
Digital図書
Olivier Danvy, Andrzej Filinski (eds.)Springer1901
Other Libraries in Japan
  • Author HeadingWorkshop "Programs as Data Objects" Danvy, Olivier Filinski, Andrzej

Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers : gw

Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers : gw
Paper図書
Olivier Danvy, Robert Glück, Peter Thiemann (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingPartial Evaluation International Seminar Danvy, Olivier Glück, R. (Robert) Thiemann, ...

Reached to the end of result.

RSS