Verification of Sequential and Concurrent Programs Second Edition 相关电子书下载

HENRIK PALMER OLSEN AND STUART TODDINGTON2007 年出版216 页ISBN：

JAMES GILLULY U.S.GEOLOGICAL SURUEY2222 年出版631 页ISBN：

纪秋发著2015 年出版0 页ISBN：

吴泽勇著2015 年出版0 页ISBN：

仝冠军著2014 年出版0 页ISBN：

PATRICK CARNES DAVID DELMONICO ELIZABETH GRIFFIN2001 年出版337 页ISBN：0171191590

Frederick S. Hillier ; Gerald J. Lieberman2006 年出版630 页ISBN：7302122431

本书是运筹学经典著作，在美国高校有很高的采用率。两位作者是运筹学领域的大师。本书内容丰富，覆盖运筹学各个分支，主要内容包括：运筹学建模方法、线性规划、灵敏度分析与对偶理论、网络优化模型、排队论、动态...

Katsuhiko Ogata2004 年出版768 页ISBN：7111139143

本书讲授系统动力学的基本理论与方法。前9章是系统动力学的基础部分，包括拉普拉斯变换及变换定理、机械系统的构成和系统运行原理。动力学系统建模的传递函数和瞬时响应、状态空间建模、电动系统和电子机械...

PDCAT 20042004 年出版891 页ISBN：3540240136

Birgit Kamm2006 年出版441 页ISBN：