京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: Computer science Mathematics)
該当件数:86件
Modern approaches to discrete curvature / editors, Laurent Najman, Pascal Romon
: [pbk.]. - Cham : Springer , c2017. - (Lecture notes in mathematics ; 2184)
図書
Handbook of discrete and combinatorial mathematics / Kenneth H. Rosen, editor-in-chief, John G. Michaels, project editor ... [et al.]
Boca Raton, FL. : CRC Press , c2000
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 through applications / Nancy Crisler, Patience Fisher, Gary Froelich
2nd ed. - New York : W. H. Freeman , 1999
Discrete mathematics / Norman L. Biggs
hbk,pbk. - 2nd ed. - Oxford : Oxford University Press , 2002
Finite Element Methods in CAD Electrical and Magnetic Fields
: Springer New York , 1987
電子ブック
System Design Automation Fundamentals, Principles, Methods, Examples
: Springer US , 2001
System Modelling and Optimization Proceedings of the Seventeenth IFIP TC7 Conference on System Modelling and Optimization, 1995
: Springer US , 1996
Algorithmics for Hard Problems Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
: Springer Berlin Heidelberg , 2001
Application Development Systems The Inside Story of Multinational Product Development
: Springer Japan , 1986
Cooperation: Game-Theoretic Approaches
: Springer Berlin Heidelberg , 1997
Cooperative design, visualization, and engineering : first international conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004 : proceedings
: Springer , 2004
Foundations of computational mathematics
: Springer
電子ジャーナル
Reliable computing
S-BPM in the Wild Practical Value Creation
: Springer International Publishing , 2015
Abstraction, refinement and proof for probabilistic systems
: Springer , 2005
Computer Aided Systems Theory -- EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Cooperative design, visualization, and engineering : second international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005 : proceedings
Cooperative design, visualization, and engineering : third international conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006 ; proceedings
: Springer , 2006
Facing the Multicore-Challenge: Aspects of New Paradigms and Technologies in Parallel Computing
: Springer , 2010