审判前沿问题研究 最高人民法院重点调研课题报告集 下

本书为最高人民法院2005年重点调研课题合集。包括12个重点调研项目，分为司法能力的建设、再审制度改革、案例指导制度、司法公信力建设、法庭建设、财产刑执行、民事执行权的配制及其运行机制、完善法官保障...

审判前沿问题研究 最高人民法院2005年重点调研课题报告集

本书为最高人民法院2005年重点调研课题合集。包括12个重点调研项目，分为司法能力的建设、再审制度改革、案例指导制度、司法公信力建设、法庭建设、财产刑执行、民事执行权的配制及其运行机制、完善法官保障...

旅游解说系统的理论与实践

本书全面阐述旅游解说系统的理论和实践问题。旅游解说系统的概念、内容、受众，解说对象、功能、理论构建等进行深入分析。

地理信息系统的理论与实践

本书总共分为三个部分：第一部分：GIS应用原理；第二部分：GIS应用分析；第三部分：地理信息系统应用发展展望。

山地退化生态系统的恢复与重建 理论与岷江上游的实践

本书内容包括：岷江上游生态环境背景、山地不同生态系统的恢复重建、生态农业、灾害防治、苗木繁育技术、生态恢复机理、生态系统管理和生态区划与规划等。...

最高人民法院关于审理企业破产案件指定管理人的规定、最高人民法院关于审理企业破产案件确定管理人报酬的规定

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

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

数字系统与逻辑设计

本书为常用中、大规模集成电路的原理和使用方法，典型可编程器件的结构和功能特点，常用波形产生和整形电路的结构和工作原理，数字系统设计的基本流程和电子设计自动化（EDA）技术的特点和应用，以及数模、模数转换电....

燃气输配系统的设计与实践

本书包括的主要内容有：绪论；燃气输配系统；系统负荷、设计负荷及负荷的调节方法；燃气流量的计算；支管的能力设计与建设；配气系统能力的设计原理；管网的模拟；能力设计经济学；管材的力学特性与金属管材；系统设......

创业管理的理论与实践