TRENDS IN SOUTHEAST ASIA THE POLITICS OF THE UNITED STATES-CHINA-VIETANM TRIANGLE IN THE 21ST CENTUR
NGUYEN MANH HUNG2015 年出版36 页ISBN：9814459655
第五届全国结构工程学术会议论文集 第3卷 proceeding of the fifth national conference on structural engineering vol.3
中国力学学会主办编2222 年出版678 页ISBN：10004750
第五届全国结构工程学术会议论文集 第2卷 proceeding of the fifth national conference on structural engineering vol.2
中国力学学会主办编2222 年出版655 页ISBN：10004750
THE SALE OF A COUNTRY BEHIND THE SCENES AT THE CANADA-U.S.FREE TRADE NEGOTIATIONS OFFICE VOLUME 1
SHELLEY ANN CLARK2011 年出版231 页ISBN：9781465341402
The design of the UNIX operating system = UNIX 操作系统设计 (英文版)
Maurice J. Bach2006 年出版474 页ISBN：7111197658
本书以UNIX系统V为背景，全面、系统地介绍了UNIX操作系统内核的内部数据结构和算法。本书首先对系统内核结构做了简要介绍，然后分章节描述了文件系统、进程调度和存储管理，并在此基础上讨论了UNIX系统的高级问...
HISTORY OF UNITED STATES NAVAL OPERATIONS IN WORLD WAR II VOLUME III THE RISING SUN IN THE PACIFIC 1
SAMUEL ELIOT MORISON2010 年出版411 页ISBN：1591145479
HISTORY OF UNITED STATES NAVAL OPERATIONS IN WORLD WAR II VOLUME X THE ATLANTIC BATTLE WON MAY1943-M
SAMUEL ELIOT MORISON2011 年出版399 页ISBN：1591145769
（英）奥布莱恩著；申山译2013 年出版274 页ISBN：9787800631818
本套书一共有四本书：《暗杀日》（Day of the Assassins）、《解救日》（Day of Deliverance）、《复仇日》（Day of Vengeance）、《反叛日》（Day of Rebellion），每本译成汉文约十万字左右。四个故事都是以真实的、著名的历...
国家公园技术标准体系框架 initiatives and practices in Yunnan 云南的探索与实践
简光华主编2013 年出版294 页ISBN：9787222111813
为了促进云南省国家公园标准化建设和管理，推动制定和实施云南省国家公园技术标准体系，并为我国国家公园建设提供良好示范。云南省科技计划项目立项，云南省科学技术厅委托，云南省人民政府研究室负责承担，组织开展...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
