Jump to main content

yr 〜
yr

Search results 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
Paper図書
Peter E. Lauer (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingLauer, Peter E

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

Specification and analysis of concurrent systems : the COSY approach : us : gw
Paper図書
Ryszard Janicki, Peter E. LauerSpringer-Verlagc1992
Other Libraries in Japan
  • Author HeadingJanicki, Ryszard Lauer, Peter E

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)
Paper図書
Tokyoc1993.<M159-A132>
National Diet Library
  • Author HeadingLauer, 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
Paper図書
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
Other Libraries in Japan
  • Author Heading...j, Waldemar W. Lauer, Peter E. Toptsis, Anestis A. Natural ...

Reached to the end of result.

RSS