（美）萨默菲尔德著2015 年出版518 页ISBN：9787115383389
本书首先讲述了构成Python语言的8个关键要素，之后分章节对其进行了详尽的阐述，包括数据类型、控制结构与函数、模块、文件处理、调试、进程与线程、网络、数据库、正则表达式、GUI程序设计等各个方面，并介绍了...
纪禹希，黄盛奎编著2013 年出版428 页ISBN：9787302317630
本书共分15章，其中第1～11章循序渐进地给出了ASP.NET 4.0简介、HTML基础、Web服务器控件、ASP.NET内置对象、数据访问服务器控件、ADO.NET与ObjectDataSource、ASP.NET EntityObject与ObjectDataSource、网站...
杨志国等编著2003 年出版411 页ISBN：7111116135
本书介绍了DELPHI在界面、菜单、工具栏等的应用方法。
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
梁水编著2010 年出版770 页ISBN：9787115216762
本书全面介绍了Delphi程序开发所用到的技术和技巧，共分19章，内容包括窗体与界面技术、控件应用、数据处理技术、图形技术、多媒体技术、文件系统、操作系统与Window相差程序、注册表、数据库技术、SQL查询相...
王千文编著2014 年出版362 页ISBN：9787302357971
本书共10章，内容包括EDA工具的发展历程和设计理念，可编程逻辑器件的原理和分类，VHDL的程序结构和基本语法，开发套件Quartus II的使用方法，顺序语句和并行语句的使用，VHDL中的属性描述，VHDL的层次化设计方法，VHDL在...
