（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
马景义著2008 年出版102 页ISBN：9787503753725
本书主要内容包括：优化方法的背景知识、Boosted Lasso、示例工作及未来工作展望等。
不能错过的迪士尼双语经典电影故事 海底总动员 2 多莉去哪儿
美国迪士尼公司著；国开童媒（北京）文化传播有限公司编；孙海英译2018 年出版96 页ISBN：9787304091156
本书为图画故事。
吴卫义著，张寅著2015 年出版541 页ISBN：9787511878168
本书主要是通过收集全国各地法院近年的审判案例，通过介绍案情、分析案件争议焦点、阐述法院判决依据及理由、专家意见、律师点评等对各种不同类型的婚姻家庭案件进行归纳整理，以使读者能通过阅读案例，了解类似...
金国义著2012 年出版265 页ISBN：9787515503844
本书让投资者了解牛股的诞生与规律特征，掌握捕捉牛股的投资技巧，在与牛共舞中获取丰厚的收益，实现自我价值。
孙海，葛建梅主编；李来春，孟为，陈志忠参编；田永清，赵津燕主审2011 年出版343 页ISBN：9787512304666
本书为21世纪高等学校规划教材。本书详细介绍了计算机的产生与应用、计算机系统、计算机操作系统、办公软件和数据库基础等大学计算机基础知识，对计算机的组装与维护、计算机网络、信息安全和多媒体技术等基...
韩璞，周黎辉，孙海蓉，黄宇编著2007 年出版243 页ISBN：7121047381
本书从人机交互的概念以及基本要求入手，结合工程实际，针对大型工业系统，从人机工程技术、软件技术、数据管理技术、Web技术等多个方面，全面地介绍了人机交互技术的基本原理和实现方法。同时结合当前先进的分散...
王作义著2002 年出版490 页ISBN：7506544024
本书是部队政治工作论文集。作者王作义，中将，北京军区原副政委。书稿汇集了作者多年来公开发表的文章和内部讲话共73篇，其中理论学习7篇、思想教育9篇、党的建设8篇、干部队伍建设5篇、宣传文化9篇、基层建设1...
徐淑新，孙海涛主编；刘晓明，李宛宣副主编2012 年出版201 页ISBN：9787560336954
本书是针对用友软件股份有限公司开发的“ERP沙盘模拟课程”的配套用书。分为五章。第一章对ERP沙盘台面和模拟企业中管理团队各个角色的主要职责进行了介绍；第二章介绍了ERP沙盘模拟企业的基本情况；第三章详...
