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

フォーマット:
図書
責任表示:
Peter E. Lauer (ed.)
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
x, 398 p. ; 24 cm
著者名:
Lauer, Peter E <DA07050437>  
シリーズ名:
Lecture notes in computer science ; 693 <BA00009279>
書誌ID:
BA20594069
ISBN:
9780387568836 [0387568832] (: us)
9783540568834 [3540568832] (: gw)
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Action semantics

Mosses, Peter D.

Cambridge University Press

山崎, 秀記(1949-)

サイエンス社

Padawitz, Peter, 1953-

Cambridge University Press

Austrian Artificial Intelligence Conference, Klement, E. P. (Erich Peter), Slany, Wolfgang

Springer-Verlag

村上, 篤司, 藤川, 格司, 石川, 良文

共立出版

Mehlhorn, Kurt, 1949-, Sanders, Peter, 浅野, 哲夫(1949-)

NetLibrary

10 図書 情報の世界

川合, 慧(1944-)

放送大学教育振興会

Lauer, Quentin

State University of New York Press

三田出版会

日経ソフトウエア

日経BP社, 日経BPマーケティング (発売)