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

ARTHUR A.THOMPSON GREGORY J.STAPPENBECK1997 年出版115 页ISBN：0256242453

RISE B.AXELROD CHARLES R.COOPER1994 年出版672 页ISBN：0312103727

JOHN N.GARDNER A.JEROME JEWLER2001 年出版256 页ISBN：0534550533

ARTHUR A.THOMPSON GREGORY J.STAPPENBECK1995 年出版142 页ISBN：0256150532

Simon Haykin2010 年出版816 页ISBN：9787121102325

本书对通信系统的基础理论和关键环节进行了深入分析，力图让学生在讨论中领会通信的精髓。全书首先给出通信系统的梗概及需要研究的关键技术，接着分章详细讨论了随机过程、连续波调制、脉冲调制、基带脉冲传输...

（美）林恩·M.弗雷泽（Lyn M. Fraser）2018 年出版0 页ISBN：

EUGENE MASON2222 年出版250 页ISBN：

（英）R.K.SINNOTT主编2009 年出版755 页ISBN：9787802296381

本书倾向于实用性讲述，重点放在提供有用的化工设计方法和技术。虽然不可能在一本书中详细介绍在化工生产过程中所有设计需要的方法和技术，但本文所采取的方法已经为工艺和设备的初步设计给出足够的细节，其参考...

H.L.CAPRON AND JOHN D.PERRON1993 年出版608 页ISBN：

BRIAN J.SKINNER AND STEPHEN C.PORTER2000 年出版575 页ISBN：