Matrix Diagonal Stability in Systems and Computation 相关电子书下载

Harry R.Lewis1999 年出版362 页ISBN：

[美]MICHAEL SIPSER著2006 年出版437 页ISBN：

YANG H.HUANG2014 年出版364 页ISBN：0784412886

PETER D CAMERON2010 年出版499 页ISBN：0199545235

任继周著2007 年出版502 页ISBN：9787109124554

本书共收集了任继周院士1986～2000年间有关草业农业的实践与理论两个方面论文50篇。

Gerald V. Post2006 年出版426 页ISBN：7111178521

本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...

1990 年出版411 页ISBN：

Yoshihiro Baba ; Vladimir A. Rakov2016 年出版316 页ISBN：1118275632

1993 年出版428 页ISBN：1879749548

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

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