FarzadNekoogar著2009 年出版190 页ISBN：9787302213420
本书是近年来惟一一本专门讨论时序及时序验证的专著。本书共分4章，前两章侧重于介绍时序及时序验证的概念与方法。后两章分别针对专用集成电路（ASIC）和基于可编程逻辑器件的设计展开时序方面的讨论。...
于雷霆著2016 年出版241 页ISBN：7115424594
为何Uber没有一辆车，我们也能在街上顺利搭乘Uber专车？为何Airbnb没有一间房，我们也能在外地租到当地民宿？这要归功于分享经济的蓬勃发展。那么，什么是分享经济？《分享经济商业模式：重新定义商业的逻辑》一书从分享...
何显明著2008 年出版573 页ISBN：9787010073965
本书在对地方政府自身行为及其职能进行充分论证和分析的基础上，对当前我国地方政府自主性膨胀、行政区经济发展过热、地方公共产品和公共服务发展滞后等进行了系统研究，对理顺中央与地方的关系、规范地方政府...
（英）卡尔·波普尔著，刘国柱译2008 年出版441 页ISBN：9787810837590
本书呈现的是卡尔·波普尔关于科学哲学的研究模式，全书明确地反对把科学和哲学严格地区分开来，密切关注科学的历史和社会方面的因素，实际地阐明了他所研究的科学理论和实践中的实质性变化。...
