李晓维,吕涛,李华伟,李光辉著2010 年出版411 页ISBN:9787030276094
本书重点介绍过去五年内取得的相关研究成果,兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
(德)布里吉特·约翰娜·亨克尔-魏德霍费尔(B.J.Henkel-Waidhofer)执笔董洪泉,陆宏成译1999 年出版153 页ISBN:7500751346
董安立著2011 年出版190 页ISBN:9787538452471
本书介绍了上班族常见疾病、如肩周炎、失眠、颈椎病的运动保健法。操作简单,随时随地都可以进行,效果明显。
董安邦主编2001 年出版311 页ISBN:7224058882
高校21世纪经济学类·管理学类课程系列教材:本书包括:信息系统、信息系统开发简介、生命周期法、原型法、面向对象的系统开发方法、决策支持系统、管理信息系统的网络模式等内容。...