做个风格时尚插画家 学会征服Vogue Elle Prada Marc Jacobs Alexandar McQueen的时尚手绘力
（美）索梅尔·弗莱厄蒂·特伊瓦妮著；王嘉琳等译2016 年出版144 页ISBN：9787532298716
《做个风格时尚插画家》是一本时尚绘画终极指南。该书配有生动丰富的插图，从新锐插画师开拓创新的作品到一流插画家闻名于世的佳作，与我们细细分享时尚幕后的流光溢彩。在采访中，插画师与时尚名流谈及灵感、创...
李冬英著2017 年出版183 页ISBN：9787517050964
本书是有关数控机床装配质量建模的学术专著，是作者多年来研究工作的总结。本书在吸收前人研究成果的基础上，从实际工程背景出发，以精密卧式加工中心装配过程为研究对象，以提高机床的三个关键质量特性的水平为目...
焦养泉等著2006 年出版219 页ISBN：7030162692
本书作者首次对一个40万平方公里的大型盆地——鄂尔多斯盆地进行了三维可视化建模，并将该方法成功地运用于地下水系统研究和资源量预测，这为地学三维可视化建模提供了一个典范。还在原型盆地与古地貌恢复、区...
甘健侯著2018 年出版183 页ISBN：9787030571571
炼焦是钢铁冶金生产中的重要过程，其产出的焦炭质量好坏直接影响后续炼铁工艺的效能和质量。而炼焦生产过程的稳定运行及优化管理则是决定焦化产品质量和工艺能耗等重要指标的关键因素。研究炼焦生产过程的语...
江天远编译2004 年出版177 页ISBN：7807020857
谁是更出色的人？他们有哪些特征？企业如何才能寻找到他们？你是否正是企业苦苦寻找的人？这是崭新的价值取向，审商业社会的用人准则，这是每一个成工企业共同的秘密。这时的价值观就让它随风而去吧！我们相信，全新......
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
（加）乔恩·威利斯著；曾毅，宋迎春译2018 年出版322 页ISBN：9787508690605
这是一本在宇宙中探索外星生命的科普书籍。很久以前，太空旅行是可能的，地球以外也可能是存在生命的。在这本令人着迷的书中，天文学家乔恩·威利斯带你探索天体生物科学和在银河系中定位其他生命的可能性。通过...
