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
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...