形式语义学引论 第2版

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

东京审判 正义与邪恶之法律较量 第3版

超级审判-审理林彪反革命集团亲历记 下

晚清各级审判厅研究

本书对晚清时期筹建设立各级审判厅的历史原因、背景及概况作了系统的论述。具体内容有：各级审判厅的设立及运作、法官考试、各级审判厅的判决书研究、各级审判厅所遭遇的困境等等。...

兰度的审判 英文注释本

本套丛书取材自西方经典文学名著，使读者在提高英文水平的同时一窥西方主要文学名著的全貌。与国家英语新课程标准的分级标准紧密结合，语言难度循序渐进，练习量大，与剑桥英语等级考试相对应。...

审判案例研究 第2卷

本书是天津法院各典型案例的分类选编，以主题鲜明、观点突出、简明扼要、便于查阅为原则，确定了案例编选的体例与格式，并以案例要说明的核心法律问题为标题。...

审判在即

本书为长篇小说。书中描写包工头杨新元与村民发生冲突，失手打死一个村名。即将判刑时，杨新民却借病出逃。公安局长命令刑警支队长李准务必在72小时内抓获杨新元。李准很诧异罪不至死的杨为何会逃走，而这时他接...

审判前沿观察 2010年 第1辑

本书立足于司法实践，通过对审判工作中的热点、重点和难点问题进行研究，以期总结审判经验，推动司法实务的进步。

审判实务若干问题研究

本书为浙江省象山市人民法院法官的优秀法官实务文章的结集。本书共分五个部分，综合、刑事篇、民商事与行政篇、执行篇和程序篇，作者结合实践对各类法律理论问题，进行了探讨。既有重大的理论问题探讨，也有具体的...

审判新视野 第3辑

本书是作者组织盐城市两级法院的法官，对当前司法审判前沿中的热点和难点问题进行探讨，最后形成文集。所收文章兼具思想性、理论性和实务性。...