北山南带构造岩浆演化与金的成矿作用

本书系统阐述了北山南带的大地构造单元特征和演化历史，全面总结了北山南带各类金矿床的地质特征并分析其控制机制，建立区域构造岩浆演化与金的成矿作用的区域成矿耦合模式；圈定了北山南带金矿床的有利成矿区域...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

未定案的宪法 宪政主义和司法审查的新辩护

目前美国司法学界普遍对司法审查制度口诛笔伐，而我国目前正处于司法改革过程之中，司法机关对公权力进行审查必然也是司法改革的一大热点。本书为我们带来了审视美国司法审查制度的新视角，其深刻的见解可能不会...

公共行政中的性别形象 合法性与行政国家

本书透过性别这一视角审视公共行政学，并对行政国家的合法性提出质疑。

商事审判法官自由裁量权研究

本书是上海市第二中级人民法院主持“民商事审判自由裁量权的正当性标准及其规则”重点课题的后续研究成果。市二中院的法官们根据审判实践，对商事合同纠纷、公司纠纷以及金融纠纷中的自由裁量权存在的主要环...

行政案例的方法与应用

暂缺《行政案例的方法与应用》简介

法官自由裁量权及其限制 以法律方法为主要分析视角

本书主体部分由四章构成。第一章论述法官自由裁量权所赋予的不同含义；第二章细致地解析法官自由裁量权；第三章以司法逻辑和法律方法为分析线索，对法官自由裁量权的成因进行探讨；第四章聚焦于法官自由裁量权的限...

行政学的范围与方法

谁“拆”了我的汽车 透视底盘构造与原理

《谁“拆”了我的汽车：透视底盘构造与原理》是“刘总监解车热线书系”之一。本书是面向广大汽车爱好者、车主、驾驶人、汽车类专业学生、汽车技术人员及汽车维修人员的图册，书中以大量精美的图片为主，简单的文...

学校行政领导的理念与实践