富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Mathematical Modeling and Industrial Mathematics)
該当件数:7件
R-Calculus, IV: Propositional Logic / by Wei Li, Yuefei Sui
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023). - (Perspectives in Formal Induction, Revision and Evolution. ISSN:27313697)
電子ブック
Computer Aided Engineering of Batteries / edited by Shriram Santhanagopalan
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Modern Aspects of Electrochemistry. ISSN:21977941 ; 62)
R-Calculus, III: Post Three-Valued Logic / by Wei Li, Yuefei Sui
1st ed. 2022.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2022). - (Perspectives in Formal Induction, Revision and Evolution. ISSN:27313697)
R-Calculus, II: Many-Valued Logics / by Wei Li, Yuefei Sui
Handbook of Mathematical Models in Computer Vision / edited by Nikos Paragios, Yunmei Chen, Olivier D. Faugeras
1st ed. 2006.. - (New York, NY : Springer US : Imprint: Springer , 2006)
Computational and Information Science : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings / edited by Jun Zhang, Ji-Huan He, Yuxi Fu
1st ed. 2005.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005). - (Lecture Notes in Computer Science. ISSN:16113349 ; 3314)
Super-Recursive Algorithms / by Mark Burgin
1st ed. 2005.. - (New York, NY : Springer New York : Imprint: Springer , 2005). - (Monographs in Computer Science. ISSN:25125486)