80x86 80x87的结构与汇编语言程序设计

裁判请求权研究 民事诉讼的宪法理念

本书系统构建了裁判请求权的理论体系。

中韩环境行政诉讼理论与判例

韩国与中国在经济发展过程中有很多相似的部分。如公害多发性企业的发展和以牺牲环境为代价发展经济的模式。本文对韩中两国的环境行政诉讼的起诉要件进行了比较硏究。...

反倾销诉讼理论与实务

本书涉及了反倾销的各个方面，阐释了倾销与反倾销实体法和诉讼基础知识、技能和策略，厘清了反倾销诉讼范畴、目的、结构和原则，清晰展示了反倾销操作过程，直至WTO争端解决运作机制，并且每个问题的论述都配备了国...

劳动争议处理程序法的现代化 中国劳动争议处理制度的反思与前瞻

劳动争议仲裁程序制度是劳动争议处理程序中最有影响力的程序制度，本书的作者对我国的该项程序制度进行了理论分析和批判，提出了一些大胆的设想，可读性较强。...

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

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

正义的边缘

一个年轻女子的“意外死亡”引起了警探安东尼奥的关注。两名犯罪嫌疑人在法庭上的证词更令他感到震惊。法官执意判两个年轻人有罪，而安东尼奥却越发怀疑罪犯另有其人。案件的调查变得困难重重，因为作案者很可...

公平正义观的历史·传承·发展

本书首先从历史的角度，重新梳理、审视、评析了中国古代传统思想家的公平正义观、中国近现代思想家的公平正义观、古希腊思想理论家的公平正义观、西方近代思想理论家的公平正义观、空想社会主义者的公平正义...

房屋登记买卖征收诉讼关键法条与典型实例

本书以房屋登记、买卖、征收案件案由规定为基础，分类收录该类诉讼中最重要的法律、司法解释，并提供表格式典型案例供读者参考，使读者迅速掌握纠纷胜诉的核心依据。...

中华人民共和国行政复议与行政诉讼适用法规总览