Climate system dynamics and modeling 相关电子书下载

THEORY2009 年出版0 页ISBN：

Analysis1998 年出版622 页ISBN：

r.teman2222 年出版0 页ISBN：

2001 年出版187 页ISBN：0122491033

Algoritbms2006 年出版105 页ISBN：

Computations2012 年出版0 页ISBN：

thoery2003 年出版257 页ISBN：

EDWARD BELTRAMI1987 年出版277 页ISBN：0120855550

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

罗朝俊著；王跃方，黄金，李欣业译2015 年出版277 页ISBN：9787040432312

本书用一种清晰简明、独特的观点讨论非线性离散动力系统稳定性和分叉理论，并分析了离散动力系统中稳定性及其切换的复杂性。本书首先介绍了含多重特征根的线性离散系统的解析解和稳定性理论，给出了详细的离散...