Program construction : international summer school

>> Google Books

QRコード(所蔵情報)

Program construction : international summer school

フォーマット:

図書

責任表示:

F.L. Bauer ... [et al.] ; edited by F.L. Bauer and M. Broy

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, 1979

形態:

vii, 651 p. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 69 <BA00009279>

書誌ID:

BA03630665

ISBN:

9783540092513 [354009251X] (: gw)

9780387092515 [038709251X] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Electronic digital computers--Programming--Addresses, essays, lectures
分類・件名:	LCC : QA76.6 DDC : 001.6/42 LCSH : Electronic digital computers -- Programming -- Addresses, essays, lectures
LCCN:	79013704
注記:	"The international summer school took place from July 26 to August 6, 1978, in Marktoberdorf ... and was sponsored by the NATO Scientific Affairs Division under the 1978 Advanced Study Institutes programme." Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Language hierarchies and interfaces : international summer school Bauer, Friedrich Ludwig, 1924-, Samelson, Klaus, 1918-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag	7 図書 Artificial and human intelligence : edited review papers presented at the International NATO Symposium on Artificial and Human Intelligence International NATO Symposium on Artificial and Human Intelligence, Elithorn, Alick, Banerji, Ranan B., 1928-, North … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
2 図書 Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare Broy, M., 1949-, Schmidt, Gunther, 1939-, Marktoberdorf Summer School on Theoretical Foundations of Programming … D. Reidel	8 図書 Logics and models of concurrent systems NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic … Springer-Verlag
3 図書 Control flow and data flow : concepts of distributed programming : international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distributed Programming, Broy, M., 1949- Springer-Verlag	9 図書 Fundamentals of transport phenomena in porous media NATO Advanced Study Institute on Mechanics of Fluids in Porous Media, Bear, Jacob, Corapcioglu, M. Yavuz, North Atlantic … M. Nijhoff
4 図書 Compiler construction : an advanced course Bauer, Friedrich Ludwig, 1924-, Eickel, J., 1935- Springer-Verlag	10 図書 Chemistry and physics of fracture NATO Advanced Research Workshop on Chemistry and Physics of Fracture, Latanision, R. M., Jones, R. H., North Atlantic … M. Nijhoff : Published in cooperation with NATO Scientific Affairs Division
5 図書 Advanced Course on Software Engineering Bauer, Friedrich Ludwig, 1924- Springer-Verlag	11 図書 Molecular biophysics : proceedings of an international summer school held in Squaw Valley, California, August 17-28, 1964 International Summer School of Molecular Biophysics (1964 : Squaw Valley, Calif.), Pullman, Bernard, 1919-, Weissbluth, … Academic Press
6 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag	12 図書 Fundamentals of friction : macroscopic and microscopic processes NATO Advanced Study Institute on the Fundamentals of Friction, Singer, I. L. (Irwin L.), Pollock, H. M. (Hubert M.), … Kluwer Academic Publishers, c1992