>> 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:
9780387568836 [0387568832] (: us)
9783540568834 [3540568832] (: gw)
書誌ID:
BA20594069
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Lauer, Peter E.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

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

IEEE Computer Society Press

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

Lopo, Erik de Castro, Jones, Bradley L., Aitken, Peter

SAMS

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

McMaster University

Automatic Programming Information Centre, England, Wegner, Peter

Academic Press

International Conference LPAR '92, Voronkov, AndreÄ­

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

LPAR (Conference), Pfenning, Frank

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

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