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