上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA267)
該当件数:91件
Introduction to the theory of computation / Michael Sipser
3rd ed. - Boston, Mass. : Cengage Learning , c2013
図書 <1002627309>
Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2076)
図書 <1001293716>
Implementation and application of automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers / Sheng Yu, Andrei Păun (eds.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2088)
図書 <1001307721>
Unifying Petri nets : advances in Petri nets / Hartmut Ehrig, ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2128)
図書 <1001353347>
Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1833)
図書 <1001167766>
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>
Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2051)
図書 <1001271755>
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>
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 ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2165)
図書 <1001322881>
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings / José-Manuel Colom, Maciej Koutny (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2075)
図書 <1001289739>
Automata, languages and programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.)
Berlin ; New York ; Tokyo : Springer , c1995. - (Lecture notes in computer science ; 944)
図書 <1000523855>
Advances in Petri nets, 1988 / Grzegorz Rozenberg (Ed.)
Berlin ; New York : Springer-Verlag , c1988. - (Lecture notes in computer science. ; 340)
図書 <1000587516>
Mathematical theory of computations : proceedings / of the Seventh IBM Symposium on Mathematical Foundations of Computer Science ... May 24-26, 1982 at Hakone Yama-no-Hotel
Tokyo, Japan : Corporate & Scientific Programs, IBM Japan , [1982?]
図書 <1000587658>
Elements of Automata Theory / Jacques Sakarovitch ; Translated by Reuben Thomas
Cambridge, U.K. : Cambridge University Press , 2009
図書 <1002136287>
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 automata theory, languages, and computation / by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
3rd ed. - Boston : Pearson Addison-Wesley , c2007
図書 <1001787424>
Proceedings / Structure in Complexity Theory ... Annual Conference
1986- - 1994. - Washington, D.C. : IEEE Computer Society Press , c1987-
図書 <1000693249>
Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1103)
図書 <1000541643>
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 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>