ENVIRONMENTAL MODELLING FINDING SIMPLICITY IN COMPLEXITY SECOND EDITION
JOHN WAINWRIGHT AND MARK MULLIGAN2013 年出版475 页ISBN：0470749111
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
MODEL CODE OF PROFESSIONAL RESPONSIBILITY AND CODE OF JUDICIAL CONDUCT
1986 年出版134 页ISBN：0897072766
Handbook of Operations Research Models and Applications
Joseph J.Moder and Salah E.Elmaghraby1978 年出版659 页ISBN：
Principles and Practices of Molecular Properties Theory Modeling and Simulations
Patrick Norman2017 年出版468 页ISBN：
A SEMANTIC AND PRAGMATIC MODEL OF LEXICAL AND GRAMMATICAL ASPECT
MARI BROMAN OLSEN1997 年出版170 页ISBN：
DYNAMIC MODELLING AND CONTROL OF NATIONAL ECONOMIES 1980
J.M.L.JANSSEN1981 年出版417 页ISBN：
Computer Simulation Applications DISCRETE-EVENT SIMULATION FOR SYNTHESIS AND ANALYSIS OF COMPLEX SYS
1971 年出版422 页ISBN：0471716251
