検索結果 86 件

図書
editors: Yoshihiro Mizoguchi, Hayato Waki, Takafumi Shibuta, Tetsuji Taniguchi, Osamu Shimabukuro, Makoto Tagami, Hirotake Kurihara, Shuya Chiba九州大学マス・フォア・インダストリ研究所2014.3<MA41-L27>
国立国会図書館
図書
edited by Roberto Tamassia.Taylor & Francis/CRC Press[2014]<MA81-B61>
国立国会図書館
  • 件名Graph theory--Handbooks, manuals,......phic methods--Handbooks, manuals,......isualization--Handbooks, manuals, etc.
図書
edited by Leslie Hogben.CRC Press[2014]<MA64-B19>
国立国会図書館
  • 要約等...oth the format and guiding vision of Handbook of Linear ......ver nite elds, and invariant subs......al chapters on applications of linear alge......ource computer mathematics system Sage fo......e been revised and updated, in so......ttern matrices and on applications to geometry ha......de Conjectures and Open Problems,......he conjectures and questions list......me of writing, and often a number of partial res...
  • 件名Algebras, Linear. MATHEMATICS / General. MATHEMATICS / Algebra / General. MATHEMATICS / Applied.
図書
edited by Jonathan L. Gross, Jay Yellen, Ping Zhang.CRC Press, Taylor & Francis Group[2014]<MA81-B68>
国立国会図書館
  • 要約等...owing areas of mathematics. Since 1960, m...... Math Reviews, and for the past d......in 2004. This Handbook is intende......athematicians, and which could be......o independent handbooks. The 89 c......topics in pure and applied graph ......le of the CRC Handbook series, wh......apters of the Handbook are organi......al definitions and facts, accompa......bles, remarks, and in some cases, conjectures and open problems. Each section e...
  • 件名Graph theory--Handbooks, manuals, etc. MATHEMATICS / Combinatorics. COMPUTERS / ...
図書
Ryuei Nishii, Shin-ichiro Ei, Miyuki Koiso, Hiroyuki Ochiai, Kanzo Okada, Shingo Saito, Tomoyuki Shirai editorsSpringerc2014<MA21-B833>
国立国会図書館全国の図書館
  • 内容細目Algebra Mathematics Hiroyuki Ochia...... by Lie theory and modular forms ...... Gröbner basis and its applications Takafumi Shibu......Miyuki Koiso 著 Discrete models of isop......rentiable maps and data visualiza......ro Ei 著 Models and applications of organism tr...... 著 Probability and statistics Fin...... Markov Chains and Markov decisio......gnal detection and model selectio......ssion analysis and its development Ry......rinh 著 Applied mathematics Discrete optimization N......a, abstraction and applications Yoshihiro Mizo......to 著 Financial applications of Quasi-Monte...... Tezuka 著 Pure mathematics and applied mathematics are i...
  • 関連情報Mathematics for industry
  • 掲載誌Mathematics for industry
図書
editors: Hiroshi Hirai, Satoru Iwata, Shin-ichi Tanigawa[Hungarian-Japanese Symposium on Discrete Mathematics and its Applications]c2019<M18-B1685>
国立国会図書館
  • 一般注記...e symposium on discrete mathematics and its applications
図書
Chapman & Hall/CRCc2004.<X>
国立国会図書館
  • 件名Combinatorial geometry -- Handbooks, manuals,......processing -- Handbooks, manuals, etc.
  • 並列タイトル等(連結)Discrete and computational geometry
  • 並列タイトル等Discrete and computational geometry
図書
Shuichi Ohsaki, Jori Ruppert-Felsot, Daisuke Yoshikawa.CRC Press, Taylor & Francis Group[2018]<DF111-B103>
国立国会図書館
  • 内容細目...rtfolio theory and CAPM Interest rate swap and discount factor Discrete time model: tr......ous time model and the black-scholes formula Num...
図書
Kenneth H. RosenMcGraw-Hill Educationc2019
全国の図書館
  • 件名Mathematics Computer science -- Mathematics
  • 件名(識別子)Mathematics Computer science -- Mathematics
  • 一般注記Previous edition: 2013 Formerly CIP Uk Includes bibliographical references and index
デジタル記事
Shun-ichi AZUMA, George J. PAPPAS<Z53-M297>IEICE Transactions on Fundamentals of Electronics, Communications and Computer SciencesE97-A(2)=506:2014.2p.452-458
インターネットで読める国立国会図書館全国の図書館
  • 要約等This paper addresses the discrete abstraction pr......existence of a discrete abstraction fo......ation function and show how the function solves ...
  • 件名control discrete abstraction quantization stoc...
  • 参照...o verification and control of det......ystems Systems and Software Verif......on Abstraction and Counterexample......bstractions of discrete-time controlle......bolic planning and control of robot motion [Grand Challenges of ......astic Modeling and Control of Bio......on Metrics for Discrete and Continuous Systems Markov Set...
デジタル記事
Koichi KOBAYASHI, Yasuhito FUKUI, Kunihiko HIRAISHI<Z53-M297>IEICE Transactions on Fundamentals of Electronics, Communications and Computer SciencesE97-A(2)=506:2014.2p.459-467
国立国会図書館全国の図書館
  • 要約等...ogical systems and communication ......n for analysis and control is fre......rid systems, a discrete abstraction me......n the existing discrete abstraction me......-state system, and termination is guaranteed. Fu...
  • 件名bounded bisimulation discrete abstraction genetic toggle sw...
  • 参照Model-Predictive Control of Discrete Hybrid Stochas......a Verification and Control of Hyb......ystems Biology and Synthetic Biol...... for Timed BPP Discrete abstractions o......gic Control of Discrete-Time Piecewise......Affine Systems Discrete Abstractions o......on: Congruence and Full Abstracti......econfigurable NAND/NOR genetic lo......ystems: Theory and applications On Probabilist......ion of Bounded Discrete Horizon Hybrid Automata Proba...
記事
塩浦, 昭義, Shioura, Akiyoshi2015IEICE Transactions on Fundamentals of Electronics, Communications and Computer SciencesE98A No. 6p.1144-
全国の図書館
図書
Kenneth H. RosenMcGraw-Hillc2013
全国の図書館
  • 件名Mathematics Computer science -- Mathematics Logic, Symbolic and mathematical
  • 件名(識別子)Mathematics Computer science -- Mathematics Logic, Symbolic and mathematical
  • 一般注記Previous ed.: 2007 Includes bibliographical references and index
図書
editors, Yoshihiro Mizoguchi ... [et al.]九州大学マス・フォア・インダストリ研究所 : 九州大学大学院数理学府2014.3
全国の図書館
図書
Judith L. GerstingW.H. Freemanc2014
全国の図書館
  • 件名Mathematics Mathematical models Computer science -- Mathematics
  • 件名(識別子)Mathematics Mathematical models Computer science -- Mathematics
図書
Kenneth H. RosenMcGraw-Hillc2012
全国の図書館
  • 件名Mathematics Computer science -- Mathematics
  • 件名(識別子)Mathematics Computer science -- Mathematics
  • 一般注記"McGraw Hill, connect learn succeed" Includes bibliographical references (B-1 - B-8) and index
図書
McGraw-Hill,c2012.
全国の図書館
  • 一般注記The foundations : logic and proofs -- Basi...... Number theory and cryptography -- Induction and recursion -- Counting -- Discrete probability -- Advanced count...
図書
Kenneth H. RosenMcGraw-Hill Higher Educationc2007
全国の図書館
  • 件名Mathematics Computer science -- Mathematics Logic, Symbolic and mathematical
  • 件名(識別子)Mathematics Computer science -- Mathematics Logic, Symbolic and mathematical
  • 一般注記Includes bibliographical references (p. B1-B7) and index