Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.]

>> Google Books

所蔵情報QRコード

Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

形態:

viii, 478 p. ; 25 cm

シリーズ名:

NATO ASI series ; ser. F . Computer and systems sciences ; v. 55 <BA00020624>

著者名:

ISBN:

9783540513698 [3540513698] (: Germany)
9780387513690 [0387513698] (: U.S.)

書誌ID:

BA07384957

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24-August 5, 1988"--T.p. verso "Published in cooperation with NATO Scientific Affairs Division."
主題:	Electronic data processing--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (: Germany ; : U.S.) NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic … Springer-Verlag	7 図書 Direct methods for solving macromolecular structures NATO Advanced Study Institute on Direct Methods for Solving Macromolecular Structures, Fortier, Suzanne, North Atlantic … Kluwer Academic Publishers
2 図書 Program construction : international summer school (: gw ; : us) Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag	8 図書 Direct methods of solving crystal structures Schenk, H. (Henk), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute/18th … Plenum Press
3 図書 Radio astronomical and satellite studies of the atmosphere : proceedings of the Corfu summer school, 17-29 June 1962 NATO Advanced Study Institute, Aarons, Jules, North Atlantic Treaty Organization. Scientific Affairs Division North-Holland Pub. Co, Interscience Publishers	9 図書 Deductive program design Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on … Springer
4 図書 Information systems : failure analysis (: Germany ; : U.S.) NATO Advanced Research Workshop on Failure Analysis of Information Systems, Wise, John A., 1944-, Debons, A., North … Springer-Verlag	10 図書 Program design calculi Broy, M., 1949-, NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific … Springer-Verlag
5 雑誌 NATO advanced study institutes series. Series E, Applied sciences North Atlantic Treaty Organization. Scientific Affairs Division M. Nijhoff, Distributors for the U.S. and Canada, Kluwer Boston	11 図書 Geometric methods in system theory : proceedings of the NATO Advanced Study Institute held at London, England, August 27-September 7, 1973 NATO Advanced Study Institute, Mayne, David Q., 1930-, Brockett, Roger W., 1938-, North Atlantic Treaty Organization. … D. Reidel Pub. Co., published in cooperation with NATO Scientific Affairs Division
6 雑誌 NATO advanced study institutes series. Series C, Mathmatical and physical sciences North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel Pub. Co.	12 雑誌 NATO advanced science institutes series. Series A, Life sciences North Atlantic Treaty Organization. Scientific Affairs Division Plenum Press

1

2

3

4

5

6

7

8

9

10

11

12