Fireworks MX 2004中文版精彩案例教程 软件篇
胡崧编著2005 年出版251 页ISBN:7121015919
名师大课堂:本书分15课,从最基本的图形绘制到制作完整的网页效果图、制作GIF动画、导出完整页面,基本上涵盖了FireworksMX2004中所有需要了解和掌握的功能与操作。...
李莹,吴江琴著2010 年出版200 页ISBN:9787308066679
本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
甘玮,陈增照编2015 年出版132 页ISBN:7543091860
本书依托华中师范大学国家数字化学习工程技术研究中心研发的starC数字课程教学系统,提出了信息化环境下,基础音乐课堂教育未来的教学模式和具体实施方案。参考目前国际上类似的教学案例成果,提出适合中国基础...
软件开发 建立可靠的系统 building reliable systems
(美) 马克·汉密尔顿著;Marc Hamilton 徐卫东译2003 年出版266 页ISBN:7801900022
本书概括介绍软件开发概念的背景;介绍与软件开发相关的人员要求问题;介绍软件开发程序;介绍软件开发技术及软件开发十戒律等。
吴世忠,郭涛,董国伟,张普含著2014 年出版520 页ISBN:9787030418906
本书首先介绍了软件漏洞在当今社会所造成的影响,进而引出漏洞的基本概念,包括定义、特点、分类等,在此基础上总结了现今普遍应用的漏洞分析方法,并进一步将其划分为源代码漏洞分析、二进制漏洞分析、架构安全性...
罗国庆著2010 年出版381 页ISBN:9787501794447
本书是“软件炒股学习教程”系列的第三本,也是《股市实战:精准买卖点秘技大全》的续篇。书中详细地介绍了技术分析要旨与实战公式注意事项、指标导入方法、股票买卖常用公式的编写实例以及精选的大智慧、通达...
东软集团股份有限公司编2011 年出版252 页ISBN:9787811029161
本书分为2大部分。第一部分共计8课,包括自我介绍、电话联系到回国前等与工作息息相关的内容;第二部分共计7课,从购物、中日比较到阐述意见,是与在日生活息息相关的内容。全书场景设计齐全,内容丰富多彩,全方位、....
罗国庆著2010 年出版386 页ISBN:9787501794423
本书是“软件炒股学习教程”系列的第二本。书中详细地介绍了大智慧、通达信和同花顺三款最大众化的股票行情软件的使用方法和特色功能、指标公式编辑与使用方法,条件选股、五彩K线、交易系统公式编写等,并遵...
李红霞,陈均明著2011 年出版194 页ISBN:9787564309312
本书初步探索了软件可信定量化,介绍了可信计算和软件可信性的相关知识。本书对基于可信度的软件可信度量方法进行了详述。按照软件工程规范和设计理念,完成了软件可信度量评估系统的设计与实现。对该系统进行...