刘乃季，林毅，杨有海主编；王颖，刘春光撰稿2006 年出版231 页ISBN：7119043234
本书以吉林省最具代表性的名山—长白山和吉林的母亲河—松花江为切入点，介绍了吉林的冰雪文化、少数民族风情及城市的发展、经济建设情况。...
邢世岩主编；孙霞，付兆军，刘晓静等副主编2015 年出版158 页ISBN：9787503876394
本书第一章主要描述垂乳银杏相关知识研究，包括名称、国外垂乳银杏、形态解剖、性别及生长特性、发生机制。第二章介绍垂乳银杏资源分布，第三章介绍根生垂乳形态及解剖，第四章介绍垂乳银杏遗传多样性，第五章介绍...
王浩，张晓岩主编；李厚佳，黄鑫山参编2012 年出版208 页ISBN：9787111371854
本书根据高等职业教育的特点，以及模具设计与制造专业的培养目标和教学要求编写的模块式教材。内容有模具设计、模具工艺方案设计与分析，模具一般加工与制造工艺编制，模具零部件制造，以及模具的总装和调试。...
李靖岩著2015 年出版280 页ISBN：9787569904352
所谓定型的北京老城打何时形成？木匠祖师斧鲁班也曾来京当过“北漂”？影视剧中常听说九门提督，可这九间当中的秘事风俗又有哪些？本文收录北京城历朝历代的传奇趣闻、经典民俗乐事，语言风趣、悬念迭起，向读者展示.....
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
