本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2011.<M17-12-2881>
国立国会図書館
  • 著者標目Agha, 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)
紙図書
Springer2001.<M17-03-4696>
国立国会図書館
  • 著者標目...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
紙図書
edited by Olivier Danvy ... [et al.]Springerc2008
全国の図書館
  • 著者標目Paige, 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
デジタル図書
Olivier Danvy, Andrzej Filinski (eds.)Springer1901
全国の図書館
  • 著者標目Workshop "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
紙図書
Olivier Danvy, Robert Glück, Peter Thiemann (eds.)Springerc1996
全国の図書館
  • 著者標目Partial Evaluation International Seminar Danvy, Olivier Glück, R. (Robert) Thiemann, ...

検索結果は以上です。

RSS