阿拉伯剧变 西亚、北非大动荡深层观察 in-depth observation on turbulent West Asia and North Africa
马晓霖主编2012 年出版467 页ISBN:9787501197996
2010年年底以来,西亚、北非的多个阿拉伯国家相继陷入动荡、战乱和政权更替,本书从政治、经济、文化、社会、军事等多个角度,分析了该地区形势变化的原因及其影响。...
半导体激光器 稳定性、失稳与混沌 第2版=SEMICONDUCTOR LASERS:STABILITY,INSTABILITY AND CHAOS:2ND EDITION 影印版 英文
(日)大坪顺次著2013 年出版476 页ISBN:
艺术的维度 中国保加利亚油画交流展作品集 the China-bulgariaoil painting exchange joint exhibition
方玲琅编著2014 年出版183 页ISBN:9787550813113
为庆祝中保建交65周年,我们策划组织了由保加利亚美术家协会、浙江省美术家协会、杭州市文化创意产业办公室主办的“艺术的纬度——中国保加利亚油画交流展”,并作为浙江油画展览活动重要项目之一。为此,我们特...
国家公园技术标准体系框架 initiatives and practices in Yunnan 云南的探索与实践
简光华主编2013 年出版294 页ISBN:9787222111813
为了促进云南省国家公园标准化建设和管理,推动制定和实施云南省国家公园技术标准体系,并为我国国家公园建设提供良好示范。云南省科技计划项目立项,云南省科学技术厅委托,云南省人民政府研究室负责承担,组织开展...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...