Theory of computation

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

by Walter S. Brainerd , Lawrence H. Landweber

言語:

英語

出版情報:

New York : Wiley, c1974

形態:

xxi, 336 p. : ill. ; 23 cm

著者名:

シリーズ名:

A Wiley-Interscience publication <BA00493885>

書誌ID:

BA03052139

ISBN:

9780471095859 [0471095850]

子書誌情報

所蔵情報

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

詳細

主題:	Programming languages (Electronic computers); Recursive functions; Sequential machine theory
分類・件名:	LCC : QA267.5.S4 DDC : 519.4 LCSH : Sequential machine theory LCSH : Recursive functions LCSH : Programming languages (Electronic computers)
LCCN:	73012950
注記:	Bibliography: p. 325-329
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Introduction to the theory of computation Engeler, Erwin, 1930- Academic Press	7 図書 Combinatorial complexes : a mathematical theory of algorithms Sellers, Peter H. D. Reidel Pub. Co.
2 図書 An introduction to the general theory of algorithms Machtey, Michael, Young, Paul, 1936- North-Holland	8 図書 Computation and automata Salomaa, Arto, 1934- Cambridge University Press
3 図書 Applied computation theory : analysis, design, modeling Yeh, Raymond Tzuu-Yau, 1937- Prentice-Hall	9 図書 Fortran 77 programming Brainerd, Walter S., Goldberg, Charles H., Gross, Jonathan L. Harper & Row
4 図書 Theory of recursive functions and effective computability Rogers, H. (Hartley), 1926- McGraw-Hill	10 図書 Introduction to computer programming Brainerd, Walter S., Goldberg, Charles H., Gross, Jonathan L. Harper & Row
5 図書 Definition of programming languages by interpreting automata Ollongren, Alexander Academic Press	11 図書 Formalized recursive functionals and formalized realizability Kleene, S. C. American Mathematical Society
6 図書 An introduction to computer languages Heaps, H. S. Prentice Hall	12 図書 Theory of formal systems Smullyan, Raymond M., 1919- Princeton University Press