硬件设计验证 基于模拟与形式的方法 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下的设备驱...