東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Discrete Mathematics in Computer Science)
該当件数:87件
Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday / edited by Jozef Kelemen, Alica Kelemenová
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6610)
電子ブック
Analysis for Computer Scientists : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann
London : Springer-Verlag London Limited , 2011. - (Undergraduate Topics in Computer Science)
Core Concepts in Data Analysis: Summarization, Correlation and Visualization / by Boris Mirkin
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6650)
Evolutionary Computation in Combinatorial Optimization : 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Peter Merz, Jin-Kao Hao
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6622)
Recent Trends in Wireless and Mobile Networks : Third International Conferences, WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011. Proceedings / edited by Abdulkadir Özcan, Jan Zizka, Dhinaharan Nagamalai
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Communications in Computer and Information Science ; 162)
Coding and Cryptology : Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011. Proceedings / edited by Yeow Meng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, Chaoping Xing
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6639)
Spectral Methods for Uncertainty Quantification : With Applications to Computational Fluid Dynamics / by O. P. Le Maître, Omar M. Knio
Dordrecht : Springer Science+Business Media B.V. , 2010. - (Scientific Computation)
Language, Games, and Evolution : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6207)
Advances in Cryptology – CRYPTO 2011 : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings / edited by Phillip Rogaway
Berlin, Heidelberg : International Association for Cryptologic Research , 2011. - (Lecture Notes in Computer Science ; 6841)
Advances in Cryptology – ASIACRYPT 2011 : 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings / edited by Dong Hoon Lee, Xiaoyun Wang
Berlin, Heidelberg : International Association for Cryptologic Research , 2011. - (Lecture Notes in Computer Science ; 7073)
Learning and Intelligent Optimization : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected Papers / edited by Carlos A. Coello Coello
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6683)
Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6877)
Game Start! : Strumenti per comprendere i videogiochi / by Francesco Alinovi
Milano : Springer Milan , 2011. - (I blu, It]pagine di scienza)
Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6642)
Advances in Cryptology – EUROCRYPT 2011 : 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings / edited by Kenneth G. Paterson
Berlin, Heidelberg : International Association for Cryptologic Research , 2011. - (Lecture Notes in Computer Science ; 6632)
Topics in Cryptology – CT-RSA 2011 : The Cryptographers’ Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings / edited by Aggelos Kiayias
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6558)
Transactions on Rough Sets XIII / edited by James F. Peters, Andrzej Skowron, Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6499)
Graph Drawing : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers / edited by Ulrik Brandes, Sabine Cornelsen
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6502)
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)