（美）Henry S. Warren，Jr.著；冯速译2004 年出版242 页ISBN：7111141113
本书汇集了各种编程技巧，为程序库、编译器开发者等讲解了编写高效程序的奥秘。
（英）彼德·迈克尔·哈曼（P.M.Harman）著；龚少明译2000 年出版184 页ISBN：7309023331
本书以不具备专门的物理和数学知识的读者所易于读懂的方式，简洁地说明了19世纪物理学的理论框架。作者哈曼博士对这百年时间里的重要概念和理论的进展进行了系统的讨论，着重讲述物理学家在机械论基础上千方百...
汪建成著2006 年出版314 页ISBN：7301112343
《理想与现实——刑事证据理论的新探索》与上一本《冲突与平衡——刑事程序理论的新视角》是姊妹篇，该书基本上也是围绕刑事证据的基础理论进行研究，共分15个专题：第1题论刑事证据的多重视角；第2题对刑事证据分...
张光直著；曹兵武译2002 年出版150 页ISBN：7538262075
本书是国际著名考古学家张光直先生的重要著作之一。书中对考古学的方法和理论做了系统的梳理。张光直先生早年毕业于台湾大学考古与人类学系，师从著名学者李济先生，后获得哈佛大学博士学位，曾任美国科学院院士...
胡帅著2012 年出版204 页ISBN：9787510905469
本书对经典理论中的严格证明进行了系统化改造，力图建立起一个具有中国特色的层次分明、衔接有致的证明体系，以实现我国刑事证明制度的规范化、精密化发展。本书主要分为五大部分：第一章“严格证明概述”，对严格...
