close
1.

図書
図書
1. Applied automata theory
edited by Julius T. Tou
出版情報: New York : Academic Press, 1968  xi, 330 p. ; 24 cm
シリーズ名: Electrical science
所蔵情報: loading…
2.

図書
図書
2. Theory of computation
by Walter S. Brainerd , Lawrence H. Landweber
出版情報: New York : Wiley, c1974  xxi, 336 p. ; 23 cm
シリーズ名: A Wiley-Interscience publication
所蔵情報: loading…
3.

図書
図書
3. Shift register sequences. Revised ed
Solomon W. Golomb, with portions co-authored by Lloyd R. Welch, Richard M. Goldstein and Alfred W. Hales
出版情報: Laguna Hills, Calif. : Aegean Park Press, c1982  xvi, 247 p. ; 22 cm
所蔵情報: loading…
4.

図書
図書
4. Automata, languages, and machines (v. A ; v. B)
Samuel Eilenberg
出版情報: New York : Academic Press, 1974-1976  2 v. ; 24 cm
シリーズ名: Pure and applied mathematics ; 59
所蔵情報: loading…
5.

図書
図書
5. Tree automata
Ferenc Gécseg, Magnus Steinby
出版情報: Budapest : Akadémiai Kiadó, 1984  234 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Switching theory for logic synthesis
Tsutomu Sasao
出版情報: Boston, Mass. : Kluwer Academic Publishers, 1999  viii, 362 p. ; 24 cm
所蔵情報: loading…
7.

図書
図書
7. Algèbre de Boole et machines logiques
Sous la direction de J. Kuntzmann [et] P. Naslin
出版情報: Paris : Dunod, 1967 [c1966]  xvi, 313 p. ; 25 cm
シリーズ名: Bibliothèque de l'automaticien ; 23
所蔵情報: loading…
8.

図書
図書
8. The mathematical theory of context free languages
Seymour Ginsburg
出版情報: New York : McGraw-Hill, c1966  xii, 232 p. ; 23 cm
所蔵情報: loading…
9.

図書
図書
9. Introduction to switching and automata theory
Michael A. Harrison
出版情報: New York : McGraw-Hill, c1965  xvii, 499 p. ; 24 cm
シリーズ名: McGraw-Hill series in systems science
所蔵情報: loading…
10.

図書
図書
10. Finite automata; behavior and synthesis
[by] B. A. Trakhtenbrot and Ya. M. Barzdinʹ. Translated from the Russian by D. Louvish. English translation edited by E. Shamir and L. H. Landweber
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier, 1973  xi, 321 p ; 23 cm
シリーズ名: Fundamental studies in computer science ; v. 1
所蔵情報: loading…
11.

図書
図書
11. Word processing in groups
David B.A. Epstein, with James W. Cannon ... [et al.]
出版情報: Boston : Jones and Bartlett Publishers, c1992  xi, 330 p. ; 24 cm
所蔵情報: loading…
12.

図書
図書
12. Tree automata and languages
edited by Maurice Nivat, Andreas Podelski
出版情報: Amsterdam : North-Holland, 1992  viii, 485 p. ; 25 cm
シリーズ名: Studies in computer science and artificial intelligence ; 10
所蔵情報: loading…
目次情報: 続きを見る
Binary Tree Codes / M. Nivat
Suffix, Prefix and Maximal Tree Codes / P. Aigrain
A Monoid Approach to Tree Automata / A. Podelski
A Theory of Tree Language Varieties / M. Steinby
Interpretability and Tree Automata: A Simple Way to Solve Algorithmic Problems on Graphs Closely Related to Trees / D. Seese
Computing Trees with Graph Rewriting Systems with Priorities / I. Litovsky ; Y. Metivier
Recognizable Sets of Unrooted Trees / B. Courcelle
Fixed Point Characterization of Weak Monadic Logic Definable Sets of Trees / A. Arnold ; D. NiwiDski
Automata on Infinite Trees and Rational Control / A. Saoudi ; P. Bonizzoni
Recognizing Sets of Labelled Acyclic Graphs / P. Bonizzoni et al.
Rational and Recognizable Infinite Tree Sets
Algebraic Specification of Action Trees and Recursive Processes / M. Große-Rhode ; C. Dimitrovici
Trees and Algebraic Semantics / I. Guessarian
A Survey of Tree Transductions / J.C. Raoult
Structural Complexity of Classes of Tree Languages / M. Dauchet ; S. Tison
Ambiguity and Valuedness / H. Seidl
Decidability of the Inclusion in Monoids Generated by Tree Transformation Classes / Z. Fulop ; S. Vagvolgyi
Tree-adjoining Grammars and Lexicalized Grammars / A.K. Joshi ; Y. Schabes
A Short Proof of the Factorization Forest Theorem / I. Simon
Unification Procedures in Automated Deduction Methods based on Matings: A Survey / J.H. Gallier
Binary Tree Codes / M. Nivat
Suffix, Prefix and Maximal Tree Codes / P. Aigrain
A Monoid Approach to Tree Automata / A. Podelski
13.

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

図書
図書
14. Studies in feedback-shift-register synthesis of sequential machines
[by] Robert L. Martin
出版情報: Cambridge : M.I.T. Press, [1969]  xv, 195 p ; 24 cm
シリーズ名: M.I.T. report ; no.50
所蔵情報: loading…
15.

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

図書
図書
16. Applications of fuzzy sets to systems analysis (Birkhäuser Verlag)
C. V. Negoiţă, D. A. Ralescu
出版情報: New York : Wiley , Basel : Birkhäuser Verlag, 1975  186, [1] p. ; 24 cm.
シリーズ名: Interdisciplinary systems research = Interdisziplinäre Systemforschung ; v. 11
所蔵情報: loading…
17.

図書
図書
17. Definition of programming languages by interpreting automata
Alexander Ollongren
出版情報: London ; New York : Academic Press, 1974  xi, 290 p. ; 24 cm
シリーズ名: A.P.I.C. studies in data processing ; no. 11
所蔵情報: loading…
18.

図書
図書
18. Automata-theoretic aspects of formal power series (: us ; : gw)
Arto Salomaa, Matti Soittola
出版情報: New York : Springer-Verlag, 1978  x, 171 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
19.

図書
図書
19. Büchi's monadic second order successor arithmetic
Dirk Siefkes
出版情報: Berlin : Springer-Verlag, 1970  xii, 130 p. ; 26 cm
シリーズ名: Lecture notes in mathematics ; 120
Decidable theories ; 1
所蔵情報: loading…
20.

図書
図書
20. Introduction to the theory of computation
Erwin Engeler
出版情報: New York : Academic Press, c1973  viii, 231 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
21.

図書
図書
21. Finite automata, their algebras and grammars : towards a theory of formal expressions (: us ; : gw)
J. Richard Büchi ; Dirk Siefkes, editor
出版情報: New York ; Berlin ; Tokyo : Springer, c1989  xxii, 316 p. ; 25 cm
所蔵情報: loading…
22.

図書
図書
22. Applied computation theory : analysis, design, modeling
Raymond T. Yeh, editor
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1976  xiii, 624 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
23.

図書
図書
23. Computation and automata
Arto Salomaa
出版情報: Cambridge [Cambridgeshire] : Cambridge University Press, 1985  xiii, 282 p. ; 24 cm
シリーズ名: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 25
所蔵情報: loading…
目次情報: 続きを見る
EditorG++s statement
Foreword G. Rozenberg
Acknowledgments
Introduction: models of computation / 1：
Rudiments of language theory / 2：
Restricted automata / 3：
Turing machines and recursive functions / 4：
Famous decision problems / 5：
Computational complexity / 6：
Cryptography / 7：
Trends in automata and language theory / 8：
Historical and bibliographical remarks
References
Index
EditorG++s statement
Foreword G. Rozenberg
Acknowledgments
24.

図書
図書
24. Products of automata (: us ; : gw)
Ferenc Gécseg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  viii, 107 p. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; v. 7
所蔵情報: loading…
25.

図書
図書
25. Shift register sequences
Solomon W. Golomb ; with portions co-authored by Lloyd R. Welch, Richard M. Goldstein and Alfred W. Hales
出版情報: San Francisco : Holden-Day, c1967  xiv, 224 p. ; 24 cm
シリーズ名: Holden-Day series in information systems
所蔵情報: loading…
26.

図書
図書
26. Sequence learning : paradigms, algorithms, and applications
Ron Sun, C. Lee Giles (eds.)
出版情報: Berlin ; New York : Springer, c2001  xii, 387 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1828 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Sequence Learning / Ron Sun
Sequence Clustering and Learning with Markov Models
Sequence Learning via Bayesian Clustering by Dynamics / Paola Sebastiani ; Marco Ramoni ; Paul Cohen
Using Dynamic Time Warping to Bootstrap HMM-Based Clustering of Time Series / Tim Oates ; Laura Firoiu
Sequence Prediction and Recognition with Neural Networks
Anticipation Model for Sequential Learning of Complex Sequences / DeLiang Wang
Bidirectional Dynamics for Protein Secondary Structure Prediction / Pierre Baldi ; Søren Brunak ; Paolo Frasconi ; Gianluca Pollastri ; Giovanni Soda
Time in Connectionist Models / Jean-Cédric Chappelier ; Marco Gori ; Alain Grumbach
On the Need for a Neural Abstract Machine / Diego Sona ; Alessandro Sperduti
Sequence Discovery with Symbolic Methods
Sequence Mining in Categorical Domains: Algorithms and Applications / Mohammed J. Zaki
Sequence Learning in the ACT-R Cognitive Architecture: Empirical Analysis of a Hybrid Model / Christian Lebiere ; Dieter Wallach
Sequential Decision Making
Sequential Decision Making Based on Direct Search / Jürgen Schmidhuber
Automatic Segmentation of Sequences through Hierarchical Reinforcement Learning / Chad Sessions
Hidden-Mode Markov Decision Processes for Nonstationary Sequential Decision Making / Samuel P.M. Choi ; Dit-Yan Yeung ; Nevin L. Zhang
Pricing in Agent Economies Using Neural Networks and Multi-agent Q-learning / Gerald Tesauro
Biologically Inspired Sequence Learning Models
Multiple Forward Model Architecture for Sequence Processing / Raju S. Bapi ; Kenji Doya
Integration of Biologically Inspired Temporal Mechanisms into a Cortical Framework for Sequence Processing / Hervé Frezza-Buet ; Nicolas Rougier ; Frédéric Alexandre
Attentive Learning of Sequential Handwriting Movements: A Neural Network Model / Stephen Grossberg ; Rainer Paine
About Editors
Author Index
Introduction to Sequence Learning / Ron Sun
Sequence Clustering and Learning with Markov Models
Sequence Learning via Bayesian Clustering by Dynamics / Paola Sebastiani ; Marco Ramoni ; Paul Cohen
27.

図書
図書
27. Information-lossless automata of finite order
[by] A. A. Kurmit ; Translated from Russian by D. Louvish
出版情報: New York : Wiley, 1974  x, 186 p ; 25 cm
所蔵情報: loading…
28.

図書
図書
28. Switching and finite automata theory. TMH ed
Zvi Kohavi
出版情報: Bombey : Tata McGraw-Hill Pub. Co., c1970  xiii, 592 p. ; 23 cm
所蔵情報: loading…
29.

図書
図書
29. Theory of automata
Arto Salomaa
出版情報: Oxford ; New York : Pergamon Press, 1969  xii, 263 p. ; 22 cm
シリーズ名: International series of monographs on pure and applied mathematics ; v.100
所蔵情報: loading…
30.

図書
図書
30. Конечные автоматы (поведение и синтез)
Б.А. Трахтенброт, Я.М. Барздинь
出版情報: Москва : Изд-во "Наука", Глав. ред. физико-математической лит-ры, 1970  400 p. ; 21 cm
シリーズ名: Математическая логика и основания математики
所蔵情報: loading…
31.

図書
図書
31. Regular algebra and finite machines. Dover ed
John H. Conway
出版情報: Mineola, N.Y. : Dover Publications, 2012  viii, 147 p. ; 22 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminaries to the Moore Theory
Moore's theory of experiments / 1：
Bombs and detonators / 2：
Kleene's theory of regular events and expressions / 3：
Kleene algebras: the one-variable theorem / 4：
The differential calculus of events / 5：
Factors and the factor matrix / 6：
The theory of operators: biregulators / 7：
Event classes and operator classes / 8：
Some regulator algebras / 9：
Context-free languages / 10：
Commutative regular algebra / 11：
Some axiomatic questions / 12：
The strength of the classical axioms / 13：
Some computational techniques / 14：
Some logical problems / 15：
Solutions to problems
Index
Preface
Preliminaries to the Moore Theory
Moore's theory of experiments / 1：
32.

図書
図書
32. Switching and finite automata theory
Zvi Kohavi
出版情報: New York : McGraw-Hill, c1970  xiii, 592 p. ; 23 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
33.

図書
図書
33. Currents in the theory of computing
edited by Alfred V. Aho ; contributing authors, Ronald V. Book ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1973  x, 245 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
34.

図書
図書
34. Counter-free automata
Robert McNaughton, Seymour Papert
出版情報: Cambridge, Mass. : M.I.T. Press, c1971  xix, 163 p. ; 24 cm
シリーズ名: M.I.T. Press research monographs ; v. 65
所蔵情報: loading…
35.

図書
図書
35. Asynchronous sequential switching circuits
[by] Stephen H. Unger
出版情報: New York : Wiley-Interscience, c1969  xiii, 290 p ; 23 cm
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Finite-state techniques : : automata, transducers and bimachines (: electronic bk)
Stoyan Mihov, Klaus U. Schulz
出版情報:   1 online resource (x, 304 p.)
シリーズ名: Cambridge tracts in theoretical computer science ; 60
所蔵情報: loading…
37.

図書
図書
37. Applied automata theory
Edited by Julius T. Tou
出版情報: New York : Academic Press, 1968  xi, 330 p. ; 24 cm
シリーズ名: Electrical science
所蔵情報: loading…
38.

図書
図書
38. Sequential machines and automata theory
[by] Taylor L. Booth
出版情報: New York : Wiley, c1967  xiv, 592 p. ; 24 cm
所蔵情報: loading…
39.

図書
図書
39. Finite-state models for logical machines
Frederick C. Hennie
出版情報: New York : Wiley, c1968  xi, 466 p. ; 24 cm
所蔵情報: loading…
40.

図書
図書
40. Lectures on linear sequential machines
[by] Michael A. Harrison
出版情報: New York : Academic Press, 1969  x, 210 p. ; 24 cm
所蔵情報: loading…
41.

図書
図書
41. Logic, automata, and algorithms
Mark A. Aiserman ... [et al.] ; translated by Scripta Technica, Inc. ; translation editor, George M. Kranc
出版情報: New York : Academic Press, 1971  xii, 433 p. ; 24 cm
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 79
所蔵情報: loading…
42.

図書
図書
42. Linear sequential circuits : analysis, synthesis, and applications
Arthur Gill
出版情報: New York : McGraw-Hill, c1966  xii, 215 p. ; 23 cm
シリーズ名: McGraw-Hill series in systems science
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼