上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Machine theory)
該当件数:80件
Automata theory / Matthew Simon
Farrer Road, Singapore : World Scientific , c1999
図書 <1001087654>
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, R.I. : American Mathematical Society , c2007. - (Contemporary mathematics ; 443)
電子ブック <1003022779>
Introduction to the theory of computation / Michael Sipser
3rd ed. - Boston, Mass. : Cengage Learning , c2013
図書 <1002627309>
Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 443)
図書 <1000382543>
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,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 510)
図書 <1000428516>
Automata implementation : 4th International Workshop on Implementing Automata, WIA '99, Potsdam, Germany, July 17-19, 1999 : revised papers / Oliver Boldt, Helmut Jürgensen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2214)
図書 <1001341807>
Automata studies / W.R. Ashby ... [et al.] ; edited by C.E. Shannon and J. McCarthy
Princeton : Princeton Univ. Press , 1956. - (Annals of mathematics studies ; no. 34)
図書 <1001361489>
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)
図書 <1001190004>
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)
図書 <1001271759>
A second course in formal languages and automata theory / Jeffrey Shallit
: hbk. - Cambridge ; New York : Cambridge University Press , 2009
図書 <1001990503>
2nd ed. - Boston : Thomson Course Technology , c2006
図書 <1002014341>
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)
図書 <1001084322>
Automata and languages / John M. Howie
h/b,p/b. - Oxford : Clarendon Press. - New York : Oxford University Press , 1991
図書 <1000438238>
Leçons sur la théorie des automates mathématiques / C. Boucher
: gw,: us. - Berlin ; New York : Springer-Verlag , 1971. - (Lecture notes in operations research and mathematical systems ; 46)
図書 <1000317107>
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.)
: alk. paper. - Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1260)
図書 <1000554087>
The connection machine / W. Daniel Hillis
Cambridge, Mass. : MIT Press , c1985. - (MIT Press series in artificial intelligence.)
図書 <1000626210>
Automata implementation : Secoond 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)
図書 <1000560254>
Elements of Automata Theory / Jacques Sakarovitch ; Translated by Reuben Thomas
Cambridge, U.K. : Cambridge University Press , 2009
図書 <1002136287>
Understanding information and computation : from Einstein to Web science / Philip Tetlow
: hbk. - Farnham, Surrey, [U.K.] ; Burlington, Vt. : Gower , c2012
図書 <1002642171>
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
雑誌 <2000177992>