東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA267)
該当件数:112件
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)
図書
Theory of computation / Derick Wood
New York : Wiley , c1987
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)
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)
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)
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)
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)
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 : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2088)
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)
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)
Fundamentals of algebraic graph transformation / H. Ehrig ... [et al.]
Berlin : Springer , c2006. - (Monographs in theoretical computer science : an EATCS series)
Handbook of weighted automata / Manfred Droste, Werner Kuich, Heiko Vogler editors
Berlin : Springer , c2009. - (Monographs in theoretical computer science : an EATCS series)
Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1379)
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)
Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings / Hubert Comon (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1232)
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)
Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1631)
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and teh Turing Machine / Charles Petzold
Indianapolis, IN : Wiley Pub. , c2008
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)
The theory of computation / Bernard M. Moret
Reading, Mass. : Addison-Wesley , c1998
Term rewriting systems / Terese
Cambridge, U.K. : Cambridge Univ. Pr. , c2003. - (Cambridge tracts in theoretical computer science ; 55)
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)
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)
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 1988 / Grzegorz Rozenberg (ed.)
Berlin : Springer-Verlag , c1988. - Tokyo. - (Lecture notes in computer science ; 340)
A course in formal languages, automata and groups / Ian Chiswell
: pbk. - London : Springer , c2009. - (Universitext)
Coloured Petri nets : basic concepts, analysis methods and practical use / Kurt Jensen
Berlin : Springer , 1997. - New York. - (Monographs in theoretical computer science : an EATCS series)
Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan
Berlin : Springer Verlag , c1995. - New York. - (Lecture notes in computer science ; 1001)
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)
Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1443)
Information, randomness & incompleteness : papers on algorithmic information theory / Gregory J. Chaitin
Singapore : World Scientific , c1987. - Teaneck, NJ. - (Series in computer science ; v. 8)
Theories of computability / Nicholas Pippenger
Cambridge, U.K. : Cambridge University Press , 1997. - New York, NY, USA
Algorithmic information theory / Gregory J. Chaitin
Cambridge [Cambridgeshire] : Cambridge Univ. Pr. , 1987. - (Cambridge tracts in theoretical computer science ; 1)
Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999 : proceedings / Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1644)
Application and theory of Petri Nets 1999 : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / Susanna Donatelli, Jetty Kleijn (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1639)
Application and theory of Petri nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992 : proceedings / K. Jensen, ed
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 616)
Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 623)
Berlin : Springer-Verlag , c1994. - New York. - (Monographs in theoretical computer science : an EATCS series)
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)
Confluent string rewriting / Matthias Jantzen
Berlin : Springer-Verlag , c1988. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 14)
Reprinted with revisions. - Cambridge [Cambridgeshire] : Cambridge University Press , 1987. - (Cambridge tracts in theoretical computer science ; 1)
The connection machine / W. Daniel Hillis
Cambridge, Mass. : MIT Press , c1985. - (ACM distinguished dissertations ; 1985)
Efficient graph rewriting and its implementation / Heiko Dörr
New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 922)
Stochastic complexity in statistical inquiry / Jorma Rissanen
Singapore : World Scientific , c1989. - Teaneck, N.J.. - (World scientific series in computer science ; v. 15)
Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 914)
Coloured Petri nets : basic concepts, analysis methods, and practical use / Kurt Jensen
Berlin : Springer-Verlag , c1996. - New York. - (EATCS monographs on theoretical computer science ; v. 26 .). - (Monographs in theoretical computer science ; . 26 .)
Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 816)