東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Machine theory)
該当件数:90件
Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer
: hbk. - Cambridge, UK : Cambridge University Press , 2010. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 129)
図書
Theories of computability / Nicholas Pippenger
Cambridge, U.K. : Cambridge University Press , 1997. - New York, NY, USA
The theory of computation / Bernard M. Moret
Reading, Mass. : Addison-Wesley , c1998
Machines, computations, and universality : third International Conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001 : proceedings / Maurice Margenstern, Yurii Rogozhin (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2055)
Prediction and discovery : AMS-IMS-SIAM joint summer research conference machine and statistical learning, prediction and discovery, June 25-29, 2006, Snowbird, Utah / Joseph Stephen Verducci, Xiaotong Shen, John Lafferty editors
Providence, RI : American Mathematical Society , c2007. - (Contemporary mathematics ; v. 443)
Algebraic automata theory / W.M.L. Holcombe
: pbk. - Cambridge : Cambridge University Press , 2004, c1982. - (Cambridge studies in advanced mathematics ; 1)
Noncommutative rational series with applications / Jean Berstel, Christophe Reutenauer
Cambridge : Cambridge University Press , 2011. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 137)
Automata, languages and programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien (Eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1099)
Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers / Derick Wood, Sheng Yu (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1436)
Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1256)
Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond, Derick Wood, Sheng Yu (eds.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1260)
Automata implementation : Third International Workshop on Implementing Automata, WIA '98, Rouen, France, September 17-19, 1998 : revised papers / Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1660)
Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo, eds
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 510)
A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll
New York : Springer-Verlag , c1981. - (Texts and monographs in computer science ; . The AKM series in theoretical computer science)
Nonsequential processes : a Petri net view / Eike Best, César Fernández C
Berlin : Springer-Verlag , c1988. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 13)
The connection machine / W. Daniel Hillis
Cambridge, Mass. : MIT Press , c1985. - (ACM distinguished dissertations ; 1985)
Complex systems dynamics : an introduction to automata networks / Gérard Weisbuch ; translated by Sylvie Ryckebusch
Redwood City, Calif. : Addison-Wesley , c1991. - (Santa Fe Institute studies in the sciences of complexity ; Lecture notes .). - ( ; ecture notes .)
Infinite words : automata, semigroups, logic and games / Dominique Perrin and Jean-Éric Pin
Amsterdam : Elsevier , 2004. - Tokyo. - (Pure and applied mathematics ; v.141)
Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.)
Berlin : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1912)
Information and randomness : an algorithmic perspective / Cristian Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
2nd ed., revised and extended. - Berlin : Springer-Verlag , c2002. - Tokyo. - (Texts in theoretical computer science ; An EATCS series)
Classical and quantum computation / A.Yu. Kitaev, A.H. Shen, M.N. Vyalyi ; [translated from the Russian by Lester J. Senechal]
Providence, R.I. : American Mathematical Society , c2002. - (Graduate studies in mathematics ; v. 47)
Groups, languages and automata / Derek F. Holt, Sarah Rees, Claas E. Röver
: hardback,: pbk. - Cambridge : Cambridge University Press , 2017. - (London Mathematical Society student texts ; 88)
Understanding information and computation : from Einstein to Web science / Philip Tetlow
Farnham : Gower , c2012
Allwissen und Absturz : der Ursprung des Computers / Werner Künzel, Peter Bexte
1. Aufl. - Frankfurt am Main : Insel , 1993
Symbolische Maschinen : die Idee der Formalisierung in geschichtlichem Abriß / Sybille Krämer
Darmstadt : Wissenschaftliche Buchgesellschaft , c1988
Combinatorics, automata and number theory / edited by Valérie Berthé, Michel Rigo
: hardback. - Cambridge, UK ; Tokyo : Cambridge University Press , 2010. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 135)
A course in formal languages, automata and groups / Ian Chiswell
: pbk. - London : Springer , c2009. - (Universitext)
Information, randomness & incompleteness : papers on algorithmic information theory / Gregory J. Chaitin
Singapore : World Scientific , c1987. - Teaneck, NJ. - (Series in computer science ; v. 8)
Algorithmic information theory / Gregory J. Chaitin
Cambridge [Cambridgeshire] : Cambridge Univ. Pr. , 1987. - (Cambridge tracts in theoretical computer science ; 1)
Berlin : Springer-Verlag , c1994. - New York. - (Monographs in theoretical computer science : an EATCS series)
Reprinted with revisions. - Cambridge [Cambridgeshire] : Cambridge University Press , 1987. - (Cambridge tracts in theoretical computer science ; 1)
Stochastic complexity in statistical inquiry / Jorma Rissanen
Singapore : World Scientific , c1989. - Teaneck, N.J.. - (World scientific series in computer science ; v. 15)
Automaton theory and learning systems / Edited by D. J. Stewart from contributions selected by Stafford Beer, F. H. George and the late Richard Goodman
London : Academic P. , 1967. - New York
Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication / Roland Hausser ; foreword by Dana Scott
: New York,: Berlin. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Symbolic computation ; . Artificial intelligence)
Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds)
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2165)
Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings / Holger Hermanns, Roberto Segala (eds.)
Berlin : Springer , c2002. - Tokyo. - (Lecture notes in computer science ; 2399)
Advances in Petri nets 1984 / edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol
Berlin : Springer-Verlag , c1985. - Tokyo. - (Lecture notes in computer science ; 188)
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)
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel
: gw,: us. - Berlin : Springer-Verlag , 1982. - (Lecture notes in computer science ; 145)
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 33)
Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in computer science ; 254 . Advances in Petri Nets 1986 ; pt. 1)
Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 67)
Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in computer science ; 255 . Advances in Petri Nets 1986 ; pt. 2)
Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.)
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in computer science ; 266)
Advances in Petri nets 1988 / Grzegorz Rozenberg (ed.)
Berlin : Springer-Verlag , c1988. - Tokyo. - (Lecture notes in computer science ; 340)
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 / edited by Ferenc Gécseg
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 117)
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 104)