当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0808秒）
为您推荐： book and version book and version 1 book and 1 book and 1 2 book and 2 1 1 and book
-
-
-
PREDICATE CALCULUS AND PROGRAM SEMANTICS
EDSGER W.DIJKSTRA，CAREL S.SCHOLTEN1990 年出版220 页ISBN：7506210444 -
-
中国科学技术史 物理学及相关技术 土木工程与航海技术 Physics and physical technology Civil engineering and nautics
李约瑟（Joseph Needham）著2008 年出版1030 页ISBN：9787030224224本书系统论述中国古代土木工程及航海技术的发展历史和主要成就。
-
-
事务信息系统 并发控制与恢复的理论、算法与实践 theory， algorithms， and the practice of concurrency control and recovery
（德）Gerhard Weikum，（德）Gottfried Vossen著；陈立军，邱海艳，赵加奎等译2006 年出版494 页ISBN：711117531X本书是事务处理的重要进步，它对领域内的理论和实践都进行了深度的讲述，也是讲述多级（对象模型）事务处理最新进展的一本专著。
-
-
-
