本文に飛ぶ

年 〜
年

検索結果 4 件

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada : gw : us

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada : gw : us
紙図書
Peter E. Lauer (ed.)Springer-Verlagc1993
全国の図書館

Specification and analysis of concurrent systems : the COSY approach : us : gw

Specification and analysis of concurrent systems : the COSY approach : us : gw
紙図書
Ryszard Janicki, Peter E. LauerSpringer-Verlagc1992
全国の図書館

Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.). (Lecture notes in computer science)

Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.). (Lecture notes in computer science)
紙図書
Tokyoc1993.<M159-A132>
国立国会図書館
  • 著者標目Lauer, Peter E., 1934-

Proceedings : ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Canada

Proceedings : ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Canada
紙図書
sponsored by National Sciences and Engineering Research Council of Canada (NSERC), York University, Toronto, Laurentian University, Sudbury in cooperation with IEEE Computer Society ; editors, Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. ToptsisIEEE Computer Society Pressc1992
全国の図書館
  • 著者標目...j, Waldemar W. Lauer, Peter E. Toptsis, Anestis A. Natural S...

検索結果は以上です。

RSS