close
1.

図書
図書
1. The mathematical theory of L systems
Grzegorz Rozenberg, Arto Salomaa
出版情報: New York : Academic Press, 1980  xvi, 352 p. ; 24 cm
シリーズ名: Pure and applied mathematics ; 90
所蔵情報: loading…
2.

図書
図書
2. Grammar and L forms : an introduction (: gw ; : us)
Derick Wood
出版情報: Berlin ; New York : Springer-Verlag, 1980  ix, 314 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 91
所蔵情報: loading…
3.

図書
図書
3. Context-free grammars : covers, normal forms, and parsing (: gw ; : us)
Anton Nijholt
出版情報: Berlin ; New York : Springer-Verlag, 1980  vii, 253 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 93
所蔵情報: loading…
4.

図書
図書
4. A calculus of communicating systems (: gw ; : us)
Robin Milner
出版情報: Berlin ; New York : Springer-Verlag, 1980  vi, 171 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 92
所蔵情報: loading…
5.

図書
図書
5. Mathematical foundations of programming
Frank S. Beckman
出版情報: Reading, MA : Addison-Wesley, c1980  xviii, 443 p. ; 25 cm
シリーズ名: The systems programming series
所蔵情報: loading…
6.

図書
図書
6. 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
所蔵情報: loading…
7.

図書
図書
7. Varieties of formal languages
J.E. Pin ; translated by A. Howie
出版情報: London : North Oxford Academic, c1986  138 p. ; 25 cm
所蔵情報: loading…
8.

図書
図書
8. Semirings, automata, languages (: us ; : gw)
Werner Kuich, Arto Salomaa
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  374 p. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; v. 5
所蔵情報: loading…
9.

図書
図書
9. Elements of the theory of computation (: UK)
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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼