東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Machine theory)
該当件数:19件
Theory of self-reproducing automata / John von Neumann ; edited and completed by Arthur W. Burks
Urbana : University of Illinois Press , 1966
図書
Algebraic theory of automata and languages / Masami Ito
River Edge, N.J. : World Scientific , c2004
Introduction to discrete structures for computer science and engineering / Franco P. Preparata, Raymond T. Yeh
Reading, Mass. : Addison-Wesley , c1973. - (Addison-Wesley series in computer science and information processing)
Automaton theory and modeling of biological systems / [by] M.L. Tsetlin ; translated by Scitran (Scientific Translation Service)
New York : Academic Press , c1973. - (Mathematics in science and engineering : a series of monographs and textbooks ; v. 102)
Introduction to the theory of computation / Michael Sipser
: hbk,: pbk. - 3rd ed. - Boston, MA : Cengage Learning , c2013
Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
2nd ed. - Boston : Addison-Wesley , c2001
Information and randomness : an algorithmic perspective / Cristian S. Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
2nd ed., revised and extended. - Berlin ; Tokyo : Springer-Verlag , c2002. - (Texts in theoretical computer science ; An EATCS series)
Fuzzy automata and decision processes / edited by Madan M. Gupta, with associate editors George N. Saridis, Brian R. Gaines
New York : North-Holland , c1977
Syntactic pattern recognition : an introduction / Rafael C. Gonzalez, Michael G. Thomason
: pbk. - Reading, Mass. : Addison-Wesley Pub. Co., Advanced Book Program , 1978. - (Applied mathematics and computation : A Series of Graduate Textbooks, Monographs, Reference Works / Series Editor Robert Kalaba ; no. 14)
Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 / edited by H. Tzschach, H. Waldschmidt, H. K.-G. Walter on behalf of the GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 48)
Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing / Emile Aarts, Jan Korst
Chichester, England : Wiley , c1989. - (Wiley-Interscience series in discrete mathematics and optimization)
SIGACT news / ACM Special Interest Committee on Automata Theory and Computability
No. 5 (May 1970)-no. 17 (Oct. 1972) ; V. 5, no. 1 (Jan. 1973)-. - New York : ACM Special Interest Group on Automa and Computability Theory
雑誌
Acta informatica
Vol. 1, fasc. 1 (1971)-. - Berlin ; New York : Springer , c1971-
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 25)
Proceedings of the twenty-fifth Annual ACM Symposium on the Theory of Computing, San Diego, California, May 16-18, 1993 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
New York, N.Y. : ACM , c1993
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / edited by Jacques Loeckx
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 14)
Information processing letters
Vol. 1 (1971)-. - Amsterdam : Elsevier Science Publishers
Theoretical computer science
(1975)-. - Amsterdam : Elsevier Science Publishers
Journal of computer and system sciences
Vol. 1, no. 1 (Mar. 1967)-. - New York : Academic Press , [1967]-