万鄂湘，张军主编；最高人民法院《最新法律文件解读丛书》编辑委员会编2005 年出版143 页ISBN：7801619498
本书遵循丛书确立的宗旨和原则，按设置的相关栏目收录最新司法文件，收录权威解读、问题解答、案例点评等文章。适合广大法官、检察官、警官、行政执法人员，企事业单位高层管理人员、律师、院校师生和其他法律爱...
万鄂湘，张军主编；最高人民法院《最新法律文件解读丛书》编辑委员会编2005 年出版145 页ISBN：7801619498
本书遵循丛书确立的宗旨和原则，按设置的相关栏目收录最新司法文件，收录权威解读、问题解答、案例点评等文章。适合广大法官、检察官、警官、行政执法人员，企事业单位高层管理人员、律师、院校师生和其他法律爱...
崔坚，赵欣，任术才编著2010 年出版418 页ISBN：9787111287186
本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容，可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
《人民法院量刑指导意见》与《关于规范量刑程序若干问题的意见》理解与适用
高贵君主编2011 年出版478 页ISBN：9787509322239
本书是有关《人民法院量刑指导意见》以及规范量刑程序若干问题的意见及相关法律法规文件，对量刑实体问题和程序问题都作出细致规定。
曹岩，王海宇主编；陶毅，曹现刚，秦中元，白洪涛编著2005 年出版280 页ISBN：7560519067
本书主要介绍了C++ Builder 6.0集成开发环境，C++ Builder Windows编程基本技能，C++ Builder数据库编程技术，C++ Builder网络应用程序开发，C++ Builder应用程序设计技巧和提高等内容。...
中国社会科学院马克思主义理论学科建设与理论研究工程系列丛书 马克思 恩格斯 列宁 斯大林 论资本主义
吕薇洲本卷主编；刘海霞，邢文增，刘向阳等副主编2015 年出版373 页ISBN：9787516167038
《马克思 恩格斯 列宁 斯大林论资本主义》是中国社会科学院马克思主义研究院“金融危机背景下资本主义的变化与马克思主义时代化”的阶段性成果，本书汇集了马克思、恩格斯、列宁、斯大林经典著作中对资本主...
马永梅著2015 年出版236 页ISBN：9787562060840
本书就界分法院与当事人之间在诉讼进程中的作用和分工的辩论主义与我国涉外民事诉讼程序的制度完善问题进行了系统的框架性分析，从涉外民事诉讼的事实范围、管辖制度、诉讼证据制度、送达制度、判决承认与执...
张海艳责任编辑；刘博楠，赵鹏飞，李琳骁，漆奔译；（美国）盖尔·拉克曼·麦克道尔2019 年出版594 页ISBN：9787115517197
本书是原谷歌资深面试官的经验之作，层层紧扣程序员面试的每一个环节，全面而详尽地介绍了程序员应当如何应对面试，才能在面试中脱颖而出。内容主要涉及面试流程解析、面试官的幕后决策及可能提出的问题、面试前...
世界的书面语：使用程序和使用方式概况 第4卷 中国 第2册 语言·文字
G·D·麦克康奈尔 谭克让 格兰特D·麦克康奈尔2222 年出版1215 页ISBN：
