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

Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho

資料種別:
図書
出版情報:
Dordrecht, Holland ; Boston, U.S.A. : D. Reidel Pub. Co.
Hingham, MA : Distributed in the U.S.A. and Canada by Kluwer Boston Inc., c1983
形態:
ix, 374 p. ; 25 cm
シリーズ名:
NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 95 <BA00221036>
著者名:
ISBN:
9789027715043 [9027715041]
書誌ID:
BA10749078
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

NATO Advanced Study Institute, Georgii, H. -W., Jaeschke, W. (Wolfgang)

D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston

Symposium on Language Design and Programming Methodology, Tobias, Jeffrey M., 1953-, Australian Atomic Energy …

Springer-Verlag

European Symposium on Programming, Krieg-Brückner, B. (Bernd)

Springer-Verlag

Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Kornerup, Peter, Matula, David W.

IEEE Computer Society Press

International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, …

North-Holand, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.

NATO Advanced Study Institute on the Interlinking of Computer Networks, Beauchamp, Kenneth George, 1923-

D. Reidel Pub. Co.

NATO Advanced Study Institute, Boulaye, Guy G., Lewin, Douglas

D. Reidel Pub. Co.

NATO Advanced Study Institute, Rival, Ivan, 1947-

D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston

Franco-Japanese Symposium on Programming of Future Generation Computers, 淵, 一博(1936-), Nivat, Maurice

North-Holland

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