（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
英国经济学家情报社等著；王小波等译2000 年出版327 页ISBN：7501148538
展望2010年：设计未来的组织:构造卓越流程：来自领先者的经验:学习型组织：为经营成功而管理知识:本书着重探讨了如何指导企业设计灵活而健全的组织系统，使其能够激励创造性工作而有效地跟踪技术进步，成为集合新知...
田丰春，杨种学主编；曹晨，杨鑫，王小正，李朔副主编2016 年出版287 页ISBN：9787305163333
C语言程序设计从计算思维培养的角度出发，以应用为背景，通过对实际案例的思考分析，借助任务驱动的模式将知识点串接起来，形成逻辑清晰的脉络和主线，加深对C语言的理解和驾驭能力，提升分析问题和解决问题的能力。...
王小科等编著2010 年出版733 页ISBN：9787302209072
本书从初学者的角度讲述使用Visual Studio 2008开发环境结合C#语言进行程序开发应该掌握的各项技术，同时就像书名所暗示的一样，强调“实战”结果。在本书的各个章节介绍技术的同时，都会给出相应的实例，并在章末...
楚西岩编著2013 年出版227 页ISBN：7553400793
本书细致分析了中学生成长当中的焦虑心理，鼓励他们放宽心胸，保持平稳心态。读者通过阅读这部作品，能让浮躁的心灵平静下来。本书以中学生为教育对象，牢牢把握他们成长中的心态变化，提出真诚的建议，既有助于他们.....
（美）詹姆斯·S.A.科里著；王小亮译2018 年出版285 页ISBN：9787220102400
《星球大战：盗贼荣耀》是《星球大战》衍生小说。讲述了为避免一份重要情报落入帝国之手，莱娅公主安排汉·索罗和丘巴卡等人前去盗取，在帝国核心区域和反抗军间谍卡莉特一路过关斩将，最终销毁了这一重要情报，挽救...
王小囝，朱斌主编2009 年出版368 页ISBN：9787501445233
本教材在内容的选择和叙述上尽量做到深入浅出、通俗易懂，省略过多的理论阐述，同时辅以一些插图与案例，简明扼要的把法医学的基本知识和某些新进展做了介绍。本教材的主要特点有：1、与公安实战结合紧密，突出实用....
肖铁岩主编2009 年出版492 页ISBN：9787562451327
重庆大学在80年的发展历程中，形成了良好的学术氛围和光荣的革命传统，成为了重大人重要的精神财富。为回顾发展历史，保存珍贵史料，总结办学经验，发扬优良传统，历届校党委和校行政都非常重视校史整理、编撰工作，......
王小萍，姜晓丽编2005 年出版167 页ISBN：7801983483
本书针对上海外教社《全新版大学英语综合教程》（第一册）每课的词汇进行讲解与训练。适于使用该教材的师生教学参考使用。
