大约有40,000项符合查询结果项。（搜索耗时：0.0483秒）
为您推荐： 最高人民法院审判管理办公室 管理 管理会计理论与实践的新发展 三纤安全管理的实践与思考 课题组著 测绘工程项目管理的方法与实践 最高人民法院行政审判庭 最高人民法院民事审判第二庭
-
泌尿系统疾病治疗原理与实践 第2版
（美）奇思赫姆·伯恩斯著；买铁军主译2013 年出版456 页ISBN：9787509165614本书主要介绍泌尿科临床用药药物给药路径、用药方法、用药中注意事项、用药后临床观察、用药后依据临床观察结果如何处理等内容，对药物的具体机理、药物代谢等从基础到临床详细讲述，是临床医生、临床药师、医...
-
-
-
专门法院改革的路径与成效
万鄂湘主编2013 年出版138 页ISBN：9787510906404本书紧密联系司法体制机制改革背景、调研决策过程、改革措施的落实情况，以科学发展为主线，从建立经费保障长效机制、规范业务基础设施建设、提升审判业务装备建设水平、推进信息化建设和应用、完善司法技术辅...
-
-
上天·审判 中国与欧洲司法观念历史的初步比较
（法）罗伯特·雅各布著；李滨译2013 年出版200 页ISBN：9787313095237本书作者突破了传统法制史和比较法学者将法局限于实体性规范的研究范式，着眼于司法程序在不同法律文化形成过程中扮演的重要角色。通过对中国和欧洲早期社会诉讼和纠纷解决方法进行比较，让读者了解和思考两者...
-
嵌入式系统设计与实践
（美）怀特著2013 年出版282 页ISBN：9787111415848本书易于阅读的指南通过经典的软件设计模式和嵌入式编程的全新模式来帮助你培养许多良好的开发习惯。你会学习到如何为处理器而不是操作系统来搭建系统架构，并且了解到处理硬件问题和制造工艺所需的特殊技术...
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
人民法院量刑指南 《人民法院量刑指导意见试行》与《关于规范量刑程序若干问题的意见试行》运用手册
《人民法院量刑指南：〈人民法院量刑指导意见（试行）〉与〈关于规范量刑程序若干问题的意见（试行）〉运用手册》编写组编著2013 年出版581 页ISBN：9787511840080本书上下两篇分别对《人民法院量刑指导意见（试行）》和《关于规范量刑程序若干问题的意见（试行）》的运用进行详细解读，总结归纳相关的图表、计算公式、实例，并系统梳理与两个意见密切相关的法律、司法解释、地方.....
-
数理统计及其在数学建模中的实践 使用MATLAB
汪祥莉，孙琳编著2013 年出版292 页ISBN：9787111431763本书介绍概率与数理统计分析的基本概念、典型应用及使用MATLAB进行实际建模分析的基本方法和应用。主要内容包括：利用MATLAB制作统计报告或报表、数据处理与统计作图、统计估计、参数检验、方差分析、回归分...