>> Google Books
所蔵情報QRコード

A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll

資料種別:
図書
出版情報:
New York : Springer-Verlag, c1981
形態:
viii, 220 p. ; 24 cm
シリーズ名:
Texts and monographs in computer science ; . The AKM series in theoretical computer science <BA00039349>
著者名:
ISBN:
9780387905730 [0387905731]
書誌ID:
BA00426436
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Discrete mathematics: applied algebra for computer and information science

Bobrow, Leonard S., Arbib, Michael A., 1940-

Saunders
7 図書 計算機科学入門

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

サイエンス社
2 図書 Brains, machines, and mathematics (: us ; : gw)

Arbib, Michael A., 1940-

Springer-Verlag
8 図書 Machines, languages, and computation

Denning, Peter J., Dennis, Jack B. (Jack Bonnell), Qualitz, Joseph E., 1948-

Prentice-Hall
3 図書 Brains, machines, and mathematics

Arbib, Michael A., 1940-

McGraw-Hill
9 図書 Topics in mathematical system theory

Kalman, R. E. (Rudolf Emil), 1930-, Falb, P. L, Arbib, Michael A., 1940-

McGraw-Hill
4 図書 The language of machines : an introduction to computability and formal languages

Floyd, Robert W., Beigel, Richard

Computer Science Press
10 図書 Theories of abstract automata

Arbib, Michael A.

Prentice-Hall
5 図書 Syntactic pattern recognition : an introduction (: pbk)

Gonzalez, Rafael C., Thomason, Michael G.

Addison-Wesley Pub. Co., Advanced Book Program
11 図書 Logic and language models for computer science (: hardcover)

Richards, Dana, Hamburger, Henry, 1940-

World Scientific
6 図書 プログラミングによる計算可能性理論

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

サイエンス社
12 図書 A calculus of communicating systems (: gw ; : us)

Milner, Robin, 1934-

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12