Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981

所蔵情報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

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"Published in cooperation with NATO Scientific Affairs Division." Includes bibliographies and indexes
主題:	Electronic digital computers--Programming--Congresses
言語:	英語

ブックレビュー

類似資料:

1 図書 Chemistry of the unpolluted and polluted troposphere : proceedings of the NATO Advanced Study Institute held on the Island of Corfu, Greece, September … 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	7 図書 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us) European Symposium on Programming, Krieg-Brückner, B. (Bernd) Springer-Verlag
2 図書 Proceedings : 10th IEEE Symposium on Computer Arithmetic, June 26-28, 1991 , Grenoble, France Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Kornerup, Peter, Matula, David W. IEEE Computer Society Press	8 図書 Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 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.
3 図書 Interlinking of computer networks : proceedings of the NATO Advanced Study Institute held at Bonas, France, August 28 - September 8, 1978 NATO Advanced Study Institute on the Interlinking of Computer Networks, Beauchamp, Kenneth George, 1923- D. Reidel Pub. Co.	9 図書 Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings SAS, Van Hentenryck, Pascal Springer
4 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, … International Symposium, PLILP, Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl Springer	10 図書 Programming of future generation computers : proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 … ([1] ; 2) Franco-Japanese Symposium on Programming of Future Generation Computers, 淵, 一博(1936-), Nivat, Maurice North-Holland
5 図書 Combinatorial programming : methods and applications : proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, … NATO Advanced Study Institute, Roy, Bernard, 1934- D. Reidel Pub. Co.	11 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of … European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris Springer-Verlag
6 図書 Computer architecture : proceedings of the Nato Advanced Study Institute held in St. Raphael, France, 12-24 September, 1976 NATO Advanced Study Institute, Boulaye, Guy G., Lewin, Douglas D. Reidel Pub. Co.	12 図書 Ordered sets : proceedings of the NATO Advanced Study Institute held at Banff, Canada, August 28 to September 12, 1981 NATO Advanced Study Institute, Rival, Ivan, 1947- D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston

1

2

3

4

5

6

7

8

9

10

11

12