打官司的操作程序

现代体系结构上的UNIX系统 内核程序员的SMP和Caching技术

本书从系统程序员的角度阐述了高速缓存和多处理机的操作。读者将学习如何调整现有的操作系统，使之能够在现代体系结构上运行，还将学习现代体系结构在不同方法之间进行抉择时所涉及的若干权衡考虑。...

程序语言的形式规范概论

死刑正当程序之探讨 死刑的正当程序学术研讨会文集

本书是一本探讨死刑程序的论文集。该书聚焦死刑程序的正当化，从死刑的控制、司法实务、执行限制等角度对死刑的正当程序展开全方位的论述。...

编码整洁之道 专业程序员的行为准则 英文版

忍受各种不确定性及不间断的压力并能够获取成功的程序员有一个共通特征：他们都深度关注软件创建实践。他们都把软件看做一种工艺品。他们都是专家。在“鲍勃大叔”看来“专业”的程序员不仅应该具备专业的技...

程序系统的基本概念

正当立法程序研究 以立法权正当行使的程序控制为视角

本书是我国大陆地区第一部系统研究正当立法程序问题的学术专著，其为正当法律程序原则引入立法领域奠定了理论基础。

企业级Java开发与架构 专业程序员在实战中的蜕变

在作者长达10多年的软件技术生涯中，从事过不少系统的开发，也领导过不少技术人员。在作者的工作实践中，感觉许多技术人员走了不少弯路，不善于构造自己的知识体系，不善于经营自己的技术成长道路，于是就总结了自己.....

程序正确性的证明

常见机构的电算程序设计