富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Mathematical models)
該当件数:277件
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
Protein structure prediction / edited by Daisuke Kihara
: [hardback]. - 4th ed. - New York : Humana Press , c2020. - (Methods in molecular biology / John M. Walker, series editor ; 2165). - (Springer protocols)
図書
Data mining and machine learning in building energy analysis / Fr�ed�eric Magoul�es, Hai-Xiang Zhao
(London ; Hoboken, NJ : ISTE : Wiley , 2016). - (Computer engineering series)
Applied mathematics for the analysis of biomedical data : models, methods, and MATLAB / Peter J. Costa
(Hoboken, New Jersey : John Wiley & Sons , 2016)
Structure prediction
New York : Springer , c2007. - (Biological and medical physics, biomedical engineering ; . Computational methods for protein structure prediction and modeling / Ying Xu, Dong Xu, and Jie Liang (eds.) ; v. 2)
Basic characterization
New York : Springer , c2007. - (Biological and medical physics, biomedical engineering ; . Computational methods for protein structure prediction and modeling / Ying Xu, Dong Xu, and Jie Liang (eds.) ; v. 1)
Quantified eco-efficiency : an introduction with applications / edited by Gjalt Huppes and Masanobu Ishikawa
: hb. - Dordrecht, the Netherlands : Springer , c2007. - (Eco-efficiency in industry and science / series editor, Arnold Tukker ; v. 22)
Signals and systems demystified / David McMahon
: pbk. - New York : McGraw-Hill , c2007. - (Demystified series)
Gaussian processes for machine learning / Carl Edward Rasmussen, Christopher K.I. Williams
Cambridge, Mass. : MIT Press , c2006. - (Adaptive computation and machine learning)
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)
Wassily Leontief and input-output economics / [edited by] Erik Dietzenbacher, Michael L. Lahr
: hardback,: pbk. - Cambridge : Cambridge University Press , 2004
Understanding molecular simulation : from algorithms to applications / Daan Frenkel, Berend Smit
2nd ed. - San Diego ; Tokyo : Academic Press, a division of Harcourt , c2002. - (Computational science : from theory to applications / series editors, Daan Frenkel ... [et al.] ; v. 1)
The structure of applied general equilibrium models / Victor Ginsburgh and Michiel Keyzer
: pbk. - Cambridge, Mass. : MIT Press , 2002
Income and wealth / Tsuneo Ishikawa
Oxford : Oxford University Press , 2001, c1
Consumption takes time : implications for economic theory / Ian Steedman
London : New York : Routledge , 2001. - (The Graz Schumpeter lectures / The Graz Schumpeter Society ; 4)