当前位置：首页 > 名称
大约有6,000项符合查询结果项。（搜索耗时：0.0080秒）
为您推荐： book and 1 book and 1 2 book and 2 book and book and 2 3 book and 9
-
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本书是事务处理的重要进步，它对领域内的理论和实践都进行了深度的讲述，也是讲述多级（对象模型）事务处理最新进展的一本专著。
-
-
-
-
雷达导航 管理级 雷达、ARPA、驾驶台团队及搜寻救助 radar， Arpa， bridge teamwork and search and rescue 中英对照
中华人民共和国海事局译2005 年出版94 页ISBN：7563218513本书为IMO系列示范课程之一，IMO示范课程的目的在于帮助发展中国家海事培训院校及教员组织并介绍新的培训课程，提高、补充和更新现有的培训教材，以提高培训课程的质量和效果。本课程内容满足STCW95公约的对船员...
-
TECHNIQUES AND APPLICATIONS OF DSP CHIPS
关华，胡秀蒙，庄华伟著2006 年出版292 页ISBN：780710337X本书全面系统地介绍了DSP芯片的基本原理和开发应用中的基本问题。