系统芯片 SoC 验证方法与技术

（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891

本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...

不能错过的迪士尼双语经典电影故事 海底总动员 2 多莉去哪儿

美国迪士尼公司著；国开童媒（北京）文化传播有限公司编；孙海英译2018 年出版96 页ISBN：9787304091156

本书为图画故事。

大学计算机基础

孙海，葛建梅主编；李来春，孟为，陈志忠参编；田永清，赵津燕主审2011 年出版343 页ISBN：9787512304666

本书为21世纪高等学校规划教材。本书详细介绍了计算机的产生与应用、计算机系统、计算机操作系统、办公软件和数据库基础等大学计算机基础知识，对计算机的组装与维护、计算机网络、信息安全和多媒体技术等基...

分散控制系统的人机交互技术

韩璞，周黎辉，孙海蓉，黄宇编著2007 年出版243 页ISBN：7121047381

本书从人机交互的概念以及基本要求入手，结合工程实际，针对大型工业系统，从人机工程技术、软件技术、数据管理技术、Web技术等多个方面，全面地介绍了人机交互技术的基本原理和实现方法。同时结合当前先进的分散...

ERP沙盘模拟实训教程

徐淑新，孙海涛主编；刘晓明，李宛宣副主编2012 年出版201 页ISBN：9787560336954

本书是针对用友软件股份有限公司开发的“ERP沙盘模拟课程”的配套用书。分为五章。第一章对ERP沙盘台面和模拟企业中管理团队各个角色的主要职责进行了介绍；第二章介绍了ERP沙盘模拟企业的基本情况；第三章详...

文件学基础

孙海英编著2018 年出版312 页ISBN：9787811426496

文件学是一门以文件和文件工作为研究对象的应用性学科。文件学的研究范畴、研究重点和方法一直与社会和机构的改革创新同步发展。由于文件是人们在社会活动中为处理各种事物而形成的，具有特定效用的凭证性信...

沂蒙精神与临沂革命老区跨越式发展研究

孙海英，陈永莲著2017 年出版240 页ISBN：9787209109802

沂蒙精神始终是沂蒙革命老区发展的重要精神动力，沂蒙精神用在抗日战争，我们能够赢得民族的独立；用在解放战争，能够使人民当家做主人；用在脱贫致富，能够很快地改变贫穷落后面貌。现在我们全面建设小康社会更需要.....

青海主要草地类型及常见植物图谱

侯向阳，孙海群主编2012 年出版605 页ISBN：9787511608949

本书包括两部分内容，在草地类型部分介绍了青海省主要的9个草地类、13个亚类和88个草地型，部分草地型配有景观照片。在常见植物部分共收录了青海天然草地分布的植物61科291属579种，很多植物种类具有重要的生态...

文学作品选读 下

孙海军，冯诗涵主编2015 年出版232 页ISBN：9787563545100

目前，中国少数民族预科的教材体系基本建成，必修课教材已投入使用。但针对少数民族预科二年制新疆班的文科学生，还没有一套合适的文学作品选读教材，本教材即是弥补这一空缺的。教材基本采用《大学文学》的编写体...

党的纯洁性建设研究

赵群，孙海涛编著2015 年出版213 页ISBN：9787205081515

党的执政能力建设、先进性建设及纯洁性建设是党建工作应用科学中的一个重要门类。近年来，随着保持党的先进性活动和建设学习型、管理型与服务型党组织工作的蓬勃开展，在如何保持党的先进性和纯洁性的制度建设...