The theory of mathematical machines | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

The theory of mathematical machines / edited by Yu. Ya. Bazilevskii ;translated from the Russian by C.A.R. Hoare ; Translation edited by J.M. Jackson

資料種別:

図書

出版情報:

Oxford ; New York : Pergamon Press, 1963

形態:

xii, 264 p. ; 22 cm

著者名:

書誌ID:

BA11313500

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Voprosy teorii mathematicheskikh mashin
注記:	"Translation of the original Russian Voprosy teorii matematicheskikh mashin, published in 1958." Distributed in the Western Hemisphere by Macmillan, New York
主題:	Machine theory--Collected works
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Mathematical logic and programming languages Shepherdson, J. C., Hoare, C. A. R. (Charles Antony Richard), 1934- Prentice Hall International	7 図書 Structured programming Dahl, Ole-Johan, 1931-, Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934- Academic Press
2 図書 Developements in concurrency and communication Hoare, C. A. R. (Charles Antony Richard), 1934- Addison-Wesley Pub. Co.	8 図書 Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 International Seminar on Operating Systems Techniques, Hoare, C. A. R. (Charles Antony Richard), 1934-, Perrott, Ronald … Academic Press
3 図書 Communicating sequential processes (: pbk) Hoare, C. A. R. (Charles Antony Richard), 1934- Prentice-Hall International	9 図書 Communicating Sequential Processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : revised invited papers Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., 1957-, Jones, Cliff B., 1944-, Sanders, Jeff W., Hoare, … Springer
4 図書 Scientific applications of multiprocessors Royal Society (Great Britain). Discussion Meeting, Elliott, R. J. (Roger J.), 1928-, Hoare, C. A. R. (Charles Antony … Prentice Hall	10 図書 Художественная структура книги Gerchuk, I︠U︡. I︠A︡. (I︠U︡riĭ I︠A︡kovlevich), 1926- "Книга"
5 図書ホーアCSPモデルの理論吉田, 信博, Hoare, C. A. R. (Charles Antony Richard), 1934- 丸善	11 図書 Semiconductor photoelectrochemistry Gurevich, I︠U︡. I︠A︡. (I︠U︡riĭ I︠A︡kovlevich), Pleskov, I︠U︡. V. (I︠U︡riĭ Viktorovich) Consultants Bureau
6 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings (: gw ; : us) VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934- Springer-Verlag	12 図書構造化プログラミング Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Dahl, Ole-Johan, 1931-, 野下, … サイエンス社

1

2

3

4

5

6

7

8

9

10

11

12