>> Google Books
タイトル、所在を表示します

A programming approach to computability

フォーマット:
図書
責任表示:
A.J. Kfoury, Robert N. Moll, Michael A. Arbib
言語:
英語
出版情報:
New York, N.Y. : Springer-Verlag, c1982
形態:
viii, 251 p. ; 24 cm
著者名:
シリーズ名:
Texts and monographs in computer science ; . The AKM series in theoretical computer science <BA00039349>
書誌ID:
BA00426491
ISBN:
9780387907437 [0387907432]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 A basis for theoretical computer science

Arbib, Michael A., Kfoury, A. J., Moll, Robert N.

Springer-Verlag
7 図書 Set theory for computing : from decision procedures to declarative programming with sets

Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto, Schwartz, Jacob T.

Springer Verlag
2 図書 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, R. I. (Robert Irving), 1940-

Springer-Verlag
8 図書 System theory : a unified state-space approach to continuous and discrete systems

Padulo, Louis, Arbib, Michael A., 1940-

W.B. Saunders
3 図書 計算機科学入門

Arbib, Michael A., 1940-, 甘利, 俊一(1936-), Kfoury, A. J., Moll, Robert N., 金谷, 健一(1947-), 嶋田, 晋

サイエンス社
9 図書 Programming in Mathematica

Maeder, Roman E.

Addison-Wesley, Advanced Book Program
4 図書 プログラミングによる計算可能性理論

Arbib, Michael A., 1940-, 甘利, 俊一(1936-), 金谷, 健一(1947-), 川端, 勉, Kfoury, A. J., Moll, Robert N.

サイエンス社
10 図書 Computability theory

Weber, Rebecca, 1977-

American Mathematical Society
5 図書 Computer graphics : a programming approach

Harrington, Steven

McGraw-Hil, McGraw-Hill International Book Companyl
11 図書 Computability & unsolvability

Davis, Martin, 1928-

Dover
6 図書 The theory of computability : programs, machines, effectiveness and feasibility

Sommerhalder, R., Van Westrhenen, S. C

Addison-Wesley Pub. Co.
12 図書 Automata and computability

Kozen, Dexter, 1951-

Springer