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