1.

図書
図書
1. Automatic sequences : theory, applications, generalizations (: hardback)
Jean-Paul Allouche, Jeffrey Shallit
出版情報: Cambridge : Cambridge University Press, 2003
所蔵情報: loading…
2.

図書
図書
2. Switching theory for logic synthesis
Tsutomu Sasao
出版情報: Boston, Mass. : Kluwer Academic Publishers, 1999
所蔵情報: loading…
3.

図書
図書
3. Synthesis of finite state machines : logic optimization
Tiziano Villa ... [et al.]
出版情報: Boston : Kluwer Academic Publishers, c1997
所蔵情報: loading…
4.

図書
図書
4. Algebraic and structural automata theory
edited by Boleslaw Mikolajczak
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1991
シリーズ名: Annals of discrete mathematics ; 44
所蔵情報: loading…
5.

図書
図書
5. Introduction to languages and the theory of computation
John C. Martin
出版情報: New York : McGraw-Hill, c1991
所蔵情報: loading…
6.

図書
図書
6. Combinatorics on traces (: gw ; : us)
Volker Diekert
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 454
所蔵情報: loading…
7.

図書
図書
7. Trace theory for automatic hierarchical verification of speed-independent circuits
David L. Dill
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: ACM distinguished dissertations
所蔵情報: loading…
8.

図書
図書
8. Theory of finite automata : with an introduction to formal languages (: pbk.)
John Carroll, Darrell Long
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1989
所蔵情報: loading…
9.

図書
図書
9. Finite automata, their algebras and grammars : towards a theory of formal expressions (: us ; : gw)
J. Richard Büchi ; Dirk Siefkes, editor
出版情報: New York ; Tokyo : Springer-Verlag, c1989
所蔵情報: loading…
10.

図書
図書
10. Checking experiments in sequential machines (: Wiley ; : Wiley Eastern)
Asok Bhattacharyya
出版情報: New York : Wiley, 1989
所蔵情報: loading…