東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: Computer science Mathematics)
該当件数:168件
Boolean function complexity : advances and frontiers / Stasys Jukna
Berlin : Springer , c2012. - (Algorithms and combinatorics ; v. 27)
図書
Understanding cryptography : a textbook for students and practitioners / Christof Paar, Jan Pelzl ; foreword by Bart Preneel
Berlin : Springer , c2010
Numerical recipes : the art of scientific computing / William H. Press ... [et al.]
Cambridge [Cambridgeshire] : Cambridge University Press , 1986
Analysis of boolean functions / Ryan O'Donnell
: hardback. - New York : Cambridge University Press , 2014
Discrete mathematics and its applications / Kenneth H. Rosen
4th ed.. - Boston : WCB/McGraw-Hill , c1999
Concrete mathematics : a foundation for computer science / Ronald L. Graham, Donald E. Knuth, Oren Patashnik
2nd ed. - Reading, Mass. : Addison-Wesley , c1994
Invitation to discrete mathematics / Jiří Matoušek and Jaroslav Nešetřil
: hbk,: pbk. - Oxford : Clarendon Press. - New York : Oxford University Press , 1998
Discrete mathematics / Richard Johnsonbaugh
: pbk. - 5th ed. - Upper Saddle River, N.J. : Prentice Hall , c2001
Rotation Transforms for Computer Graphics / by John Vince
London : Springer-Verlag London Limited , 2011
電子ブック
Computing. Supplementum
1 (1977)-. - Wien ; New York : Springer-Verlag , c1977-
雑誌
Number theory for computing : with 25 figures, 67 images, and 31 tables / Song Y. Yan
Berlin : Springer-Verlag , c2000
Quantum computation and quantum information / Michael A. Nielsen & Isaac L. Chuang
New ed., 10th anniversary ed. - Cambridge : Cambridge University Press , c2010
Acta polytechnica Scandinavica. Mathematics and computing machinery ser
1 (1958)-25 (1974). - Helsinki
Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control / by Christian Kirches
Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden , 2011
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (NATO ASI series ; ser. F . Computer and system sciences ; v. 94)
Computing : archives for electronic computing
1 (1966)-. - Wien : Springer-Verlag
Analysis for Computer Scientists : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann
London : Springer-Verlag London Limited , 2011. - (Undergraduate Topics in Computer Science)
The Block Cipher Companion / by Lars R. Knudsen, Matthew J.B. Robshaw
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011. - (Information Security and Cryptography)
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)
Integer Programming and Combinatoral Optimization : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings / edited by Oktay Günlük, Gerhard J. Woeginger
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6655)