THE STATE OF THE WORLD'S LAND AND WATER RESOURCES FOR FOOD AND AGRICULTURE MANAGING SYSTEMS AT RISK
2011 年出版285 页ISBN:9251066140
帝国主义历史的终结 当代帝国主义的形成和发展趋势 End of history of imperialism forming and development trends of contemporar
王金存著2008 年出版381 页ISBN:9787509702079
本书作者旨在论述当代帝国主义的形成、主体内容和发展趋势。以列宁《帝国主义是资本主义的最高阶段》一书为引子,在通读《列宁全集》新版60卷的前40卷基础上,对列宁的帝国主义论、帝国主义时代的形成与终结、...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN:0124166199
From Markov chains to non-equilibrium particle systems Second Edition = 从马尔科夫链到非平衡粒子系统 第2版
Mu-fa Chen2014 年出版600 页ISBN:7510068232
创新型国家的基因工程 中国高新技术产业开发区探究 Research on Chinese new and high technology industrial development zones
刘永彪著2006 年出版297 页ISBN:7503535571
高新技术产业开发区的出现是中国改革开放进程中一个十分重要的经济现象。本书以十一届三中全会以来改革开放的历史为背景,借鉴国外高新技术产业开发区发展的成功经验,全面系统分析了发展高新技术产业开发区过...
能源-经济-环境系统的可持续发展研究 基于浙江的实证分析 Research on the sustainable development system of energy-economy-enviro
杨文培,严向军,丁祖荣著2007 年出版364 页ISBN:9787308057035
本书将能源经济系统看作开放系统,充分考虑其不完整性和对外依赖性,并从能源经济类型区的独特性出发,运用“3E”分析方法,将该课题的研究置于“资源·经济·环境”的大背景下集中精力研究“3E”问题,希望为区域能...