张广泉著2015 年出版256 页ISBN：9787302411611
鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...
汪泉主编2009 年出版198 页ISBN：9787534940958
本教材主要内容包括物流概述、物流系统、物流的主要活动、物流的基本作业、物流信息、物流技术、企业物流与第三方物流、物流中心、物流管理、物流发展新趋势等内容。章前有学习目标、引导案例，章后附有本章...
（美）爱伦·坡著；张春梅译；张泉主编2012 年出版188 页ISBN：755240972X
本选集选译了艾伦·坡各类题材的小说中有代表性的作品。其中既有《摩格街谋杀案》这类推理小说的典范，也有以描述“死之美”与“美之死”而令读者印象深刻的作品。以期为无法读完他全部作品的读者提供一个相...
凌艺春，刘惠娟主编；吴尚庆，王彰云，孙洪民等副主编；吕景泉主审2011 年出版241 页ISBN：9787113129422
本书主要介绍了MCS-51系列单片机及汇编编程的相关知识。
牛胜玉丛书主编；刘希泉本册主编2014 年出版278 页ISBN：7543677660
本书与思想品德教材同步，内容紧贴教材，版块设置多样，具有很强的实用性及很好的趣味性，结合案例教学，由浅入深，带领同学熟悉知识脉络、理清知识体系、掌握学习技能。...
刘荷花，郝勇东，王博泉主编2009 年出版257 页ISBN：9787501187058
本书介绍了职业生涯规划理论和个人职业生涯管理；毕业生就业的准备、程序与途径；就业择业方法与技巧等等。
辛华泉编著2001 年出版218 页ISBN：7102020554
本书主要论述立体构成。立体构成涉及非常广泛的范围，由于低面的限制，全部逐一详述是不可能的。因此，本书的矿物质 以技法为主，选择那些被认为重要的问题，通过具体练习进行重点解析，以使读者具体了解三次元造形......
秦泉主编2016 年出版414 页ISBN：9787565822223
本书从动手能力、表达能力、思维能力、记忆能力、注重非智力因素教育等方面入手，然后分时间段，即从孕期营养、胎教策略，到婴幼儿期，详细论述了如何培养孩子的智商，以及在教育孩子过程中需要注意的问题及解决方法...
（澳）雷德福（Radford，Andony），（澳）史蒂文斯（Stevens，Garry）著；王国泉等译1991 年出版232 页ISBN：7504605239
著者原题无汉译名:全书共分9个章节，分别介绍了计算机辅助设计的历史、存在的问题、硬件、软件、辅助绘图、辅助管理等内容。
