硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
（美）杰斯，（美）詹姆斯，（美）加瑞特著2011 年出版175 页ISBN：9787111348665
本书是AJAX之父的经典之作。本书用简洁的语言系统化地诠释了设计、技术和商业融合是最重要的发展趋势。全书共8章，包括关于用户体验以及为什么它如此重要，认识这些要素、战略层、范围层、结构层、框架层、表...
王万银著2010 年出版181 页ISBN：9787116069244
本书以最小曲率数学模型的差分公式和迭代格式为基础，研究了最小曲率方法在网格数据补空和扩边、离散数据网格化以及网格数据光滑这三个方面的方法技术，并编写了相应的Fortran语言程序。本书可供从事数据处理...
贝思出版有限公司汇编2010 年出版207 页ISBN：9787538166552
从心理的角度看，“家”能反映出居者的处境、性格与喜好。简单地说，如要在设计方面为着眼点，就如不同的人有不同的穿衣品味：以室内装潢的风格、颜色或图案来表达个人的内心想法。一个设计的好坏，以是否经得起时间...
（美）Connie Malamed（康妮.玛拉麦德）2018 年出版296 页ISBN：9787121330254
有意义的图片和形象化设计的应用能提高培训、演讲的效果。本书由艺术教育家和教学设计师康妮·玛拉麦德撰写，旨在帮助你发挥你的创造力，深化你的课程设计意图，提高培训效率。本书关注电子化教育、演示和演讲的...
（日）柳泽桂子著2007 年出版60 页ISBN：9787121048258
本套书第一册讲生命的起源宇宙是和大爆炸同时产生的，接着是银河和星体，在然后地球也诞生了。那么，最初的生命是什么时候，以何种形式出现的呢？配合有趣的插画图解一起去看看吧。第二册讲生命的设计图，生物们凭借.....
贝洪俊，白玉华，程洋编著2012 年出版235 页ISBN：9787308102414
本书内容：第一篇 课程总体分析包括：教学资源分析、教学内容优化与分析、教学过程设计与分析、动态的教学评价、预期教学效果的说明。第二篇 教学设计方案包括：教学目的和要求、内容提要、重点与难点、有关提...
秦赟，闫淼编著2012 年出版209 页ISBN：9787212050443
本书针对学生在学习数学中出现的问题，针对数学游戏进行教学设计设计，有步骤、有梯度地引导学生学会从不同的角度去认识数学的奇妙，激发学生学习数学的兴趣，增强学生学好数学的信心。本书具体内容包括：第一章：数.....
（美）Stephen D.Huston等著；马维达译2004 年出版375 页ISBN：7508327349
本书由ACE的几位核心开发者撰写，快速而直接地解释了怎样充分利用ACE。从介绍ACE开始，循序渐进，详细讨论了ACE的IPC设施、进程及线程管理以及一些高级话题，比如共享内存、ACE Streams框架、ACE Service Configur...
张惠娟等编著2002 年出版348 页ISBN：7560611273
本书讲述了Windows系统下设备驱动程序的开发方法。全书分为三部分，共10章。第一部分主要介绍了VxD驱动程序，以及利用VToolsD开发VxD程序的方法；第二部分和第三部分分别介绍了WindowsNT和Windows2000下的设备驱...
