纪禹希，黄盛奎编著2013 年出版428 页ISBN：9787302317630
本书共分15章，其中第1～11章循序渐进地给出了ASP.NET 4.0简介、HTML基础、Web服务器控件、ASP.NET内置对象、数据访问服务器控件、ADO.NET与ObjectDataSource、ASP.NET EntityObject与ObjectDataSource、网站...
（美）Brian Bagnall等著；邓少鹍等译2003 年出版410 页ISBN：750841439X
本书循序渐进的描述了Microsoft的.NET平台，以及为该平台设计的新语言C#。书中全部章节都是进行C#与Java的对比，并附有详细生动的例子。本书先从总体上介绍了C#语言，接着深入介绍该语言的基础以及C#所特有的东...
图灵程序设计丛书 Flask Web开发 基于Python的Web应用开发实战 第2版
（美）米格尔·格林贝格（Miguel Grinberg）2018 年出版212 页ISBN：9787115489456
本书第2版经过全面修订，涵盖近年来的重要技术变革。本书共分三部分，第一部分是Flask简介，介绍使用Flask框架及扩展开发Web程序的必备基础知识。第二部分则给出一个实例，真正带领大家一步步开发完整的博客和社交...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
可视化Java GUI程序设计 基于Eclipse VE开发环境
赵满来主编2010 年出版364 页ISBN：9787302236801
本书主要介绍了窗口、基本组件、容器、布局管理、事件处理、菜单、工具栏、表格和树等的可视化创建、属性设置及其在 Java GUI 程序设计中的应用等内容。...
