国家公园技术标准体系框架 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，你就能快速构建更健壮、更...
EASY MONEY THE GREATEST PONZI SCHEME EVER AND HOW IT IS SET TO DESTROY THE GLOBAL FINANCIAL SYSTEM
VIVEK KAUL2015 年出版361 页ISBN：9788132113447
THE CHINESE FOSSIL PEPTILES AND THEIR KIN SECOND EDITION
LI JINLING，WU XIAOCHUN，ZHANG FUCHENG2008 年出版474 页ISBN：7030212894
本书是一本以国内外古生物工作者为主要对象，具有极强实用性的专业书籍。它全面地收集了自1930年至2004年底所记述过的、发现于中国的化石两栖类、爬行类和鸟类的类元。本书的主要特点是：（1）资料齐全，能反映最新...
HOLLYWOOD'S DETECTIVES CRIME SERIES IN THE 1930S AND 1940S FROM THE WHODUNNIT TO HARD-BOILED NOIR
FRAN MASON2012 年出版187 页ISBN：0230578357
UNIX系统第4版 程序员指南 系统服务和应用软件打包工具 Programmer's guide System services and application packaging tools
李建国等译1992 年出版297 页ISBN：7505315528
从行政诉讼到宪政 英、美、法、德、中五国比较研究 the cases in UK， US， France， Germany and China
李卫刚著2006 年出版209 页ISBN：7801982460
本书以英、美、法、德、中五国的历史和现实为背景，勾勒出人类宪政和行政诉讼的历史发展脉络，提示了两者在原理层面的相互关系和在运行层面的相互影响。...
卫星网络中的资源管理：优化与跨层设计＝RESOURCE MANAGEMENT IN SATELLITE NETWORKS OPTIMIZATION AND COROSS-LAYER DESIGN
（意）GIOVANNI GIAMBENE编著2013 年出版0 页ISBN：
教育 公正与人之善 教育系统中的教育公平与教育平等 fairness and equality in the education system
（德）KirstenMeyer主编；张群等译2018 年出版158 页ISBN：9787567571488
由于人们对教育公平、教育目的、机会平等等问题的看法存在分歧，如何实现教育公平，尚无定论。目前，关于教育公平，学术界主要分为平等主义和充分教育两派，两派观点各有侧重。本文选取了双方论文共8篇，对教育公平......
