close
1.

図書

図書
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2500
所蔵情報: loading…
2.

図書

図書
by Václav Pinkava
出版情報: Cambridge, Mass. : Abacus Press, 1988  132 p. ; 25 cm
所蔵情報: loading…
3.

図書

図書
Harry R. Lewis, Christos H. Papadimitriou
出版情報: Englewood Cliffs, N.J. : Prentice-Hall , London : Prentice-Hall International, c1981  xiv, 466 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
目次情報: 続きを見る
Sets, Relations, and Languages / 1:
Finite Automata / 2:
Context-Free Languages / 3:
Turing Machines / 4:
Church's Thesis / 5:
Uncomputability / 6:
Computational Complexity / 7:
The Propositional Calculus / 8:
The Predicate Calculus / 9:
Sets, Relations, and Languages / 1:
Finite Automata / 2:
Context-Free Languages / 3:
4.

図書

図書
Wang, Hao, 1921-
出版情報: New York : Chelsea Pub. Co, [1970]  x, 651 p ; 24 cm
所蔵情報: loading…
5.

図書

図書
Frank S. Beckman
出版情報: Reading, MA : Addison-Wesley, c1980  xviii, 443 p. ; 25 cm
シリーズ名: The systems programming series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼