大约有2,000项符合查询结果项。（搜索耗时：0.0189秒）
为您推荐： pascal 嵌入式linux设备驱动程序开发指南 程序 程序设计 编译原理 程序设计基础
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
面向对象程序设计 C++高级语言上机实习指导与习题集 【工业技术】
赵宏主编2010 年出版271 页ISBN：9787310034994本书是“面向对象程序设计”《C高级语言》的配套用书，为满足初学者学习C 语言的需要，精心为各章选编了上机实习，并在思想方法、算法和语法上给出了相应的实习指导，最后还选编了配套的典型习题。...
-
-
可视化Java GUI程序设计 基于Eclipse VE开发环境 【工业技术】
赵满来主编2010 年出版364 页ISBN：9787302236801本书主要介绍了窗口、基本组件、容器、布局管理、事件处理、菜单、工具栏、表格和树等的可视化创建、属性设置及其在 Java GUI 程序设计中的应用等内容。...
-
ASP.NET WEB应用程序设计教程 【工业技术】
单维锋，白灵编著2010 年出版346 页ISBN：9787811239737本书共14章，内容包括Web应用程序概念、HTML、DHTML、 C#语言基础、ADO．NET、服务器端标准控件、数据验证控件、导航控件、内部对象、数据绑定控件、母版页、主题与皮肤、AJAX技术、应用程序配置以及软件测试...
-
-
JAVA程序设计实用教程 【工业技术】
金保华主编；金松河，朱付保副主编2010 年出版374 页ISBN：9787030268396本书将实际项目实践与程序开发思想相结合，从Java语言自身的特点和学生学习Java语言的实际要求出发，通过一个贯穿全书的BookStore项目，全面系统地介绍了Java面向对象程序设计的基本概念（如封装、继承、多态）、基...
-
遥感数据智能处理方法与程序设计 【工业技术】
马建文等著2010 年出版234 页ISBN：9787030259325本书是作者经过十余年在人工智能理论与遥感信息理论学科交叉领域的实践，不断探索所取得的成果总结。主要内容包括空间变换与分割、贝叶斯网络、伪二维隐马尔可夫、神经网络、遗传算法、模糊算法、粗糙集、支...
-
刑事诉讼程序要点精释与裁判依据 【政治法律】
杨明，史明武，宋家宁本卷主编2010 年出版377 页ISBN：9787510900372本书参照《刑事诉讼法》的体例，分4编，20章，约400个问题。针对提出的问题，分为[法律依据]和[实践指导]两个部分，[法律依据]直接提供立法和司法解释的相关规定，[实践指导]是在[法律依据]基础上提示应当注意的问题，有...
-
Delphi程序开发范例宝典 第2版 【工业技术】
梁水编著2010 年出版770 页ISBN：9787115216762本书全面介绍了Delphi程序开发所用到的技术和技巧，共分19章，内容包括窗体与界面技术、控件应用、数据处理技术、图形技术、多媒体技术、文件系统、操作系统与Window相差程序、注册表、数据库技术、SQL查询相...