小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Machine theory)
該当件数:49件
Turing's cathedral : the origins of the digital universe / George Dyson
: hardback. - New York : Pantheon Books , c2012
図書
Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer
: hardback. - Cambridge, UK : Cambridge University Press , 2010. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; [129])
Complex systems dynamics : an introduction to automata networks / Gérard Weisbuch ; translated by Sylvie Ryckebusch
: pbk. - Redwood City, Calif. : Addison-Wesley , c1991. - (Santa Fe Institute studies in the sciences of complexity ; Lecture notes ; v. 2)
Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing / Emile Aarts, Jan Korst
Chichester, England : Wiley , c1989. - (Wiley-Interscience series in discrete mathematics and optimization)
Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
Cambridge, Mass. : MIT Press , c1987. - (MIT Press series in the foundations of computing)
Brains, machines, and mathematics / Michael A. Arbib
: us,: gw. - 2nd ed. - New York ; Tokyo : Springer-Verlag , c1987
Advances in Petri nets 1984 / edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 188)
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 192)
Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 194)
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 208)
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)
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)
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 104)
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)
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 118)
Mathematical foundations of programming / Frank S. Beckman
Reading, MA : Addison-Wesley , c1980. - (The systems programming series)
Information processing 80 : proceedings of IFIP Congress 80, Tokyo, Japan, October 6-9, 1980, Melbourne, Australia, October 14-17, 1980 / edited by Simon Lavington
Participants ed. - Amsterdam : North-Holland , 1980
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 85)
Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 88)
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman
Reading, Mass. : Addison-Wesley , c1979. - (Addison-Wesley series in computer science)