東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Theory of Computation)
該当件数:37件
Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek
London : Springer-Verlag London Limited , 2011. - (Undergraduate Topics in Computer Science)
電子ブック
Concise Guide to Computation Theory / by Akira Maruoka
London : Springer-Verlag London Limited , 2011
Introduction to the Theory of Programming Languages / by Gilles Dowek, Jean-Jacques Lévy
Computability and Complexity Theory / by Steven Homer, Alan L. Selman
Boston, MA : Springer Science+Business Media, LLC , 2011. - (Texts in Computer Science)
Theoretical Aspects of Distributed Computing in Sensor Networks / edited by Sotiris Nikoletseas, José D.P. Rolim
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011. - (Monographs in Theoretical Computer Science. An EATCS Series)
Perspectives on Soviet and Russian Computing : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov
Berlin, Heidelberg : IFIP International Federation for Information Processing , 2011. - (IFIP Advances in Information and Communication Technology ; 357)
Deterministic Extraction from Weak Random Sources / by Ariel Gabizon
Genetic Programming Theory and Practice IX / edited by Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore
New York, NY : Springer Science+Business Media, LLC , 2011. - (Genetic and Evolutionary Computation)
High Performance Computing for Computational Science – VECPAR 2010 : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers / edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6449)
Universal Semantic Communication / by Brendan Juba
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011
New Structures for Physics / edited by Bob Coecke
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2011. - (Lecture Notes in Physics ; 813)
Applied Informatics and Communication : International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I / edited by Dehuai Zeng
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Communications in Computer and Information Science ; 224)
Applied Informatics and Communication : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV / edited by Jun Zhang
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Communications in Computer and Information Science ; 227)
Applied Informatics and Communication : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V / edited by Jun Zhang
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Communications in Computer and Information Science ; 228)
Cartesian Genetic Programming / edited by Julian F. Miller
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011. - (Natural Computing Series)
Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6953)
Quantum Interaction : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 7052)
Transactions on Rough Sets XIV / edited by James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6600)
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings / edited by Mikhail Atallah, Xiang-Yang Li, Binhai Zhu
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6681)
The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6878)