国家公园技术标准体系框架 initiatives and practices in Yunnan 云南的探索与实践
简光华主编2013 年出版294 页ISBN:9787222111813
为了促进云南省国家公园标准化建设和管理,推动制定和实施云南省国家公园技术标准体系,并为我国国家公园建设提供良好示范。云南省科技计划项目立项,云南省科学技术厅委托,云南省人民政府研究室负责承担,组织开展...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
Pattern-Oriented Analysis and Dwesign
[美]Sherif M.Yacoub Hany H.Ammar 著2004 年出版372 页ISBN:7508322096
设计模式有着巨大威力,但要构建健壮的大规模系统,这还远远不够。面向模式的分析和设计(POAD)介绍了一种新的方法学,用以“组合”设计模式来构建可靠的、健壮的大规模软件系统。使用POAD,你就能快速构建更健壮、更...
SHADES OF CORPORATE GOVERNANCE
顾成博2014 年出版261 页ISBN:9787551706094
本书专注于比较研究不同国家(主要是英国和德国)的公司法和公司治理方面的相关法律制度(包括相关的欧盟法规),以及相应法律制度建立的公司治理模式和机制下的利益关系人(如公司的员工,客户,供应商,借款银行,......
财务报表分析 国际版(第12版)=Essentials of Financial Statement Analysis International Edition(12th edition)
(美)查尔斯·H.吉布森著;胡玉明译注2011 年出版503 页ISBN:9787565401756
本书是会计与财务教学发展史上的里程碑。它既从财务报告使用者的角度,又从财务报告编制者的角度来教授财务会计。它介绍了财务报告的“语言”及编制过程。它含有大量真实公司的年度报告。书中的大量背景材料...
HOW CAN WE TALK ABOUT THAT? OVERCOMING PERSONAL HANG-UPS SO WE CAN TEACH KIDS THE RIGHT STUFF ABOUT
2002 年出版324 页ISBN:9780787959142
高尔夫红宝书 中英文权威版 lessons and teachings from a lifetime in golf
(美)哈维·彭尼克(Harvery Penick),(美)巴德·施拉克(Bud Shrake)著;崔志强译2006 年出版288 页ISBN:7561336764
本书是美国著名高尔夫球教练哈维·佩尼克的最著名的作品。本书常居美国《纽约时报》畅销书榜,并且是最畅销的运动类书籍。本书介绍了作者总结一生中最实用的高尔夫技术指导和心得,无论初学者还是职业运动员都...
UNIX系统第4版 程序员指南 系统服务和应用软件打包工具 Programmer's guide System services and application packaging tools
李建国等译1992 年出版297 页ISBN:7505315528