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

（美）罗伯特·福格林（Robert Fogelin）著；陈蓉霞译2007 年出版224 页ISBN：9787802251670

人类能够相信所有的事情，但是也能堕入深深的怀疑和迷惑。问题部分在于我们的许多信仰缺乏理性的基础。更深也是更麻烦的问题还在于，对理性的追求本身又是这种怀疑和迷惑的来源。在《行走于理性的钢丝上》中，罗...

（美）范特里斯（Harry L. Van Trees）著；毛士艺，周荫清，张其善译2007 年出版491 页ISBN：7121038595

迄今为止，本书仍然是公认的关于检测、参数估计和线性与非线性调制波形估计方面的一本论述详尽、深入、成功的著作。也是一本较好的研究生教材。内容是研究发生在通信、雷达和声纳中被噪声污染了的各种线性与...

计算机科学与技术学院编2004 年出版0 页ISBN：

吴振录，邱恒聪著1992 年出版409 页ISBN：7503305592

蒋顺才著2006 年出版209 页ISBN：7500592175

本书探讨1990年以来，我国新发行过程中，发行定价偏低和公司长期绩效偏弱的现象在中国A股市场的表现情况。

陈旭东编著2008 年出版292 页ISBN：9787508375861

与上一代不同的是，剧变下的文化背景与社会环境促成了青年一代建筑师独特的观念与创作方式，全球化与地域性、城市化、城市更新、国际竞赛、大型展览等诸多社会文化重大事件，直接成为他们创作乃至生活的主题。本...

2222 年出版0 页ISBN：

2222 年出版0 页ISBN：

2222 年出版0 页ISBN：

（美）勃姆（BARRY BOEHM），（美）特纳（RICHARD TURNER）著2004 年出版254 页ISBN：7508322711

本书将花言巧语丢在了一边，直接介绍可操作的核心概念。并且提供了定义平衡的软件开发策略的建设性的方法。作者在书中展示了不具敏捷性的纪律所将导致的官僚作风和停滞，以及没有纪律约束的敏捷所将导致的松弛...