>> Google Books
所蔵情報QRコード

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
シリーズ名:
Lecture notes in computer science ; 693 <BA00009279>
著者名:
Lauer, Peter E <DA07050437>  
ISBN:
9783540568834 [3540568832] (: gw)
9780387568836 [0387568832] (: us)
書誌ID:
BA20594069
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Lauer, Lauer, Peter E.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

McMaster University. Dept. of Materials Science and Engineering, Irons, Gordon A., 1950-

McMaster University

Stone, John David

Springer

8 電子ブック Automated Reasoning

Armando, Alessandro, Baumgartner, Peter, Dowek, Gilles, Siekmann, J?rg

Springer eBooks Computer Science, Springer Berlin Heidelberg

Coad, Peter, Nicola, Jill

Prentice-Hall International

9 電子ブック Automated Reasoning

Armando, Alessandro, Baumgartner, Peter, Dowek, Gilles, Siekmann, Jörg

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Automatic Programming Information Centre, England, Wegner, Peter

Academic Press

McMaster University. Dept. of Materials Science and Engineering, Irons, Gordon A., 1950-

McMaster University

International Conference on Computing and Information, Koczkodaj, Waldemar W., 1951-, Lauer, Peter E., 1934-, Toptsis, …

IEEE Computer Society Press

Iverson, Kenneth E.

Wiley

Lancaster, G. T.

Pergamon Press

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12