城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Machine theory)
該当件数:383件
Algebraic theory of automata
New York : Academic Press , 1968
図書
Theorie der abstrakten Automaten / von W. M. Gluschkow. {Ubersetzung : GN̄nter Asser und Klaus StrC̄hmel. Wissenschaftliche Redaktion : GN̄nter Asser}
19. - Berlin : Deutscher Verlag der Wissenschaften , 1963. - (Mathematische forschungsberichte ; 19)
Synthesis of digital automata / Edited by V. G. Lazarev and A. D. Zakrevskii. Translated from Russian by Edwin S. Spiegelthal.
New York : Consultants Bureau , 1969
Dynamics of nonhalting networks / Swee Hong Chan, Lionel Levine
: pbk. - Providence, RI : American Mathematical Society , c2022. - (Memoirs of the American Mathematical Society ; no. 1358 . Abelian networks ; IV)
Introduction to the theory of computation / Michael Sipser
3rd ed., International ed. - Australia : Cengage Learning , c2013
Nonsequential processes : a Petri net view / Eike Best, Cesar Fernandez C.
v. 13. - Berlin : Springer , c1988. - (EATCS monographs on theoretical computer science ; v. 13)
Brains, machines, and mathematics
New York : McGraw-Hill , {c1964}
Lecons sur la theorie des automates mathematiques / {par} C. Boucher.
: gw. - Berlin : Springer , 1971. - (Lecture notes in operations research and mathematical systems ; 46)
Automata on infinite objects and Church's problem / by Michael O. Rabin
Providence, R.I. : Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society , [1972]. - (Regional conference series in mathematics ; no. 13)
Stochastic optimization and control; proceedings of an advanced seminar / Edited by Herman F. Karreman.
no. 20. - New York : Wiley , {1968}
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)
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Reading, Mass. : Addison-Wesley Pub. Co. , c1969. - (Addison-Wesley series in computer science and information processing)
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course / edited by Hubert Comon, Jean-Pierre Jouannaud
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 909)
電子ブック
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982 / edited by D. W. Loveland
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 138)
Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings / edited by C. Choffrut
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 316)
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures / edited by Bruno Buchberger
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 203)
Using Sophisticated Models in Resolution Theorem Proving / by David M. Sandford
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 90)
Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984 / edited by M. Nivat, D. Perrin
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 192)
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings / edited by Stephane Kaplan, Jean-Pierre Jouannaud
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 308)
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings / edited by P. Dembinski
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 88)