同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Machine theory)
該当件数:55件
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode
alk. paper,alk. paper. - Boston : Birkhäuser , c2001. - (Progress in computer science and applied logic ; v. 21)
電子書籍 <OB01023486>
Nonsequential processes : a Petri net view / Eike Best, César Fernández C
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1988. - (EATCS monographs on theoretical computer science ; v. 13)
図書 <BB00062995>
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)
図書 <BB00040199>
Automaton theory and modeling of biological systems / [by] M.L. Tsetlin ; translated by Scitran (Scientific Translation Service)
New York : Academic Press , c1973. - (Mathematics in science and engineering : a series of monographs and textbooks ; v. 102)
図書 <BB00045680>
The connection machine / W. Daniel Hillis
pbk.. - Cambridge, Mass. : MIT Press , c1985. - (ACM distinguished dissertations ; 1985)
図書 <BB00000777>
Introducing the theory of computation / Wayne Goddard
Sudbury, Mass. : Jones and Bartlett , c2008
図書 <BB10324969>
Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers / Jean-Marc Champarnaud, Denis Maurel (eds.)
softcover : acid-free paper. - Berlin ; New York : Springer , c2003. - (Lecture notes in computer science ISSN:0302-9743 ; 2608)
電子書籍 <OB00745857>
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp
2nd ed. - Reading, Mass. : Addison-Wesley , c1997
図書 <BB00326995>
The language of machines : an introduction to computability and formal languages / Robert W. Floyd, Richard Beigel
New York : Computer Science Press , c1994
図書 <BB00274335>
Information and randomness : an algorithmic perspective / Cristian Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Monographs in theoretical computer science : an EATCS series)
図書 <BB00284779>
Maschinenintelligenz oder Menschenphantasie? : ein Plädoyer für den Ausstieg aus unserer technisch-wissenschaftlichen Kultur / Godela Unseld
1. Aufl. - Frankfurt am Main : Suhrkamp , 1992. - (Suhrkamp Taschenbuch Wissenschaft ; 987)
図書 <BB00211515>
Stochastic complexity in statistical inquiry / Jorma Rissanen
Singapore ; Teaneck, N.J. : World Scientific , c1989. - (Series in computer science ; v. 15)
図書 <BB00101602>
The language machine / Roy Harris
Ithaca, N.Y. : Cornell University Press , 1987
図書 <BB00056288>
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)
図書 <BB00091011>
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman
Reading, Mass. : Addison-Wesley , c1979. - (Addison-Wesley series in computer science)
図書 <BB00000064>
Computer algebra : symbolic and algebraic computation / edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. Albrecht
: us,: au. - 2nd ed. - Wien : Springer-Verlag , c1983
図書 <BB00016167>
COLT 96 : 9th Annual Workshop on Computational Learning Theory
Trade Paper. - New York : Association for Computing Machinery , Oct. 1996
電子書籍 <OB00744969>
STOC 94 : 26th ACM Symposium on the Theory of Computing
Trade Paper. - New York : Association for Computing Machinery , Oct. 1994
電子書籍 <OB00751683>
Boolean Algebras / by Roman Sikorski
print - print. - 3rd ed. 1969.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1969
電子書籍 <OB01019018>
A course in formal languages, automata and groups / Ian M. Chiswell
pbk. : acid-free paper,e-book. - London : Springer , 2009. - (Universitext)
電子書籍 <OB01024077>
Structural theory of automata, semigroups, and universal algebra / edited by Valery B. Kudryavtsev and Ivo G. Rosenberg ; technical editor, Martin Goldstein
cased - e-book. - Dordrecht ; [Great Britain] : Springer , c2005. - (NATO science series ; Series II Mathematics, physics, and chemistry vol. 207)
電子書籍 <OB01028188>
Applications of automata theory and algebra : via the mathematical theory of complexity to biology, physics, psychology, philosophy, and games / John Rhodes ; edited by Chrystopher L. Nehaniv ; foreword by Morris W. Hirsch
: hbk,: pbk. - Singapore : World Scientific , c2010
図書 <BB12058719>
Foundations of computing and decision sciences
Poznán, Poland : Institute of Computing Science, Technical University of Poznán, Poland
電子ジャーナル <OJ00200106>
SIGACT news
New York, NY : ACM Special Interest Group on Automata and Computability Theory
電子ジャーナル <OJ00128849>
Mechanism design : a linear programming approach / Rakesh V. Vohra
hardback,paperback. - Cambridge ; New York : Cambridge University Press , 2011. - (Econometric Society monographs ; 47)
電子書籍 <OB00134979>
Data clustering : algorithms and applications / edited by Charu C. Aggarwal, Chandan K. Reddy
Boca Raton : CRC Press , c2014. - (Chapman & Hall/CRC data mining and knowledge discovery series)
図書 <BB12630201>
: hardback,: pbk. - Cambridge : Cambridge University Press , 2011. - (Econometric Society monographs ; 47)
図書 <BB12389633>
Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 623)
図書 <BB00199508>
Advances in Petri nets 1992 / G. Rozenberg, (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 609)
図書 <BB00200566>
Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies / edited by Albert Y. Zomaya
New York : Springer Science+Business Media , c2006
図書 <BB10168759>
Turing's cathedral : the origins of the digital universe / George Dyson
: pbk. - London : Penguin , 2013, c2012. - (Penguin books ; . Penguin technology)
図書 <BB12594212>
COLT 95 : 8th Annual Workshop on Computational Learning Theory
Trade Paper. - New York : Association for Computing Machinery , Oct. 1995
電子書籍 <OB00744968>
Proceedings of the 36th annual ACM Symposium on the Theory of Computing : Chicago, Illinois, USA, June 13-15, 2004 / sponsored by SIGACT
print. - New York : ACM , 2004
電子書籍 <OB00748259>
Proceedings of the fifteenth annual ACM Symposium on Theory of Computing : Boston, Massachusetts, April 25-27, 1983 / chairmen David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel Seiferas ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1983
電子書籍 <OB00749989>
Proceedings of the thirty-second annual ACM Symposium on Theory of Computing / chairmen Frances Yao, Eugene Luks ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 2000
電子書籍 <OB00750913>
Proceedings of the thirty-third annual ACM Symposium on Theory of Computing / chairmen Jeffrey S. Vitter, Paul Spirakis, Mihalis Yannakakis ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 2001
電子書籍 <OB00750917>
STOC '08 : proceedings of the 2008 ACM International Symposium on Theory of Computing : Victoria, British Columbia, Canada, May 17-20, 2008 / sponsored by ACM SIGACT
print. - New York : ACM , 2008
電子書籍 <OB00751679>
STOC '13 : proceedings of the 2013 ACM Symposium on Theory of Computing : June 1 - 4, 2013, Palo Alto, California, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2013
電子書籍 <OB00751680>
STOC'12 : proceedings of the 2012 ACM Symposium on Theory of Computing : May 19-22, 2012, New York, New York, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2012
電子書籍 <OB00751688>
STOC '14 : proceedings of the 2014 ACM Symposium on Theory of Computing : New York, New York, USA, May 31, 2014 - June 3, 2014
print. - New York : ACM , 2014
電子書籍 <OB00765824>
Journal of computer and system sciences
Vol. 1, no. 1 (Mar. 1967)-. - New York : Academic Press , [1967]-
雑誌 <SB00941745>
Fixed Rings of Finite Automorphism Groups of Associative Rings
Trade Paper. - New York : Springer , April 2008. - (Lecture Notes in Mathematics Ser)
電子書籍 <OB00847409>
International journal of applied mathematics and computer science
[Zielona Góra, Poland] : [University of Zielona Góra] : [Lubusky Scientific Society]. - [Warsaw, Poland] : Versita. - Warsaw, Poland : De Gruyter Open
電子ジャーナル <OJ00028286>
ACM transactions on computation theory
New York, N.Y. : Association for Computing Machinery , [2009]-
電子ジャーナル <OJ00127907>
Information processing letters
Vol. 1, issue 1 (Feb. 1971)-. - [Amsterdam] : [North-Holland] , 1971-
電子ジャーナル <OJ00027230>
Theoretical computer science
Amsterdam : Elsevier Science
電子ジャーナル <OJ00058692>
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 56)
図書 <BB00031994>
Statistical and machine learning approaches for network analysis / edited by Matthias Dehmer, Subhash C. Basak
Hoboken, N.J. : Wiley , c2012
図書 <BB12581789>
Many-Valued Logics 1 : Theoretical Foundations / by Leonard Bolc, Piotr Borowik
print - print. - 1st ed. 1992.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992
電子書籍 <OB01019421>
Descriptor Revision : Belief Change through Direct Choice / by Sven Ove Hansson
print - print. - 1st ed. 2017.. - Cham : Springer International Publishing : Imprint: Springer , 2017
電子書籍 <OB01038327>