（美）恩里科·博南诺（Enrico Buonanno）著；张久修译2018 年出版364 页ISBN：7302510550
陈智育等编著2004 年出版346 页ISBN：7115120889
本书介绍了嵌入式实时多任务操作系统VxWorks及其主机环境Tornado，并实践性地描述了其上的程序开发过程。书中详细介绍了VxWorks各个重要的组件，包括多任务环境、内存管理、IO系统（包括字符设备）、文件系统和网...
王晓红主编；田桂娥，姚纪明副主编2014 年出版215 页ISBN：9787307149076
本书从HTML基础以及CSS样式入手介绍了Web网站构建的基础知识，逐步深入ASP.NET Web应用程序开发所涉及的基础知识与实践技巧。循序渐进的介绍了如何使用C#语言开发Web应用程序。以数据库实例为依托，详细介绍了...
纪禹希，黄盛奎编著2013 年出版428 页ISBN：9787302317630
本书共分15章，其中第1～11章循序渐进地给出了ASP.NET 4.0简介、HTML基础、Web服务器控件、ASP.NET内置对象、数据访问服务器控件、ADO.NET与ObjectDataSource、ASP.NET EntityObject与ObjectDataSource、网站...
全国计算机等级考试命题研究组编2006 年出版314 页ISBN：7310025024
本书以教育部考试中心最新考试大纲为依据，在历次真题与大纲样题基础上编写而成，精选数套预测型试卷（含答案和解析）。
崔坚，赵欣，任术才编著2010 年出版418 页ISBN：9787111287186
本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容，可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
曹岩，王海宇主编；陶毅，曹现刚，秦中元，白洪涛编著2005 年出版280 页ISBN：7560519067
本书主要介绍了C++ Builder 6.0集成开发环境，C++ Builder Windows编程基本技能，C++ Builder数据库编程技术，C++ Builder网络应用程序开发，C++ Builder应用程序设计技巧和提高等内容。...
梁水编著2010 年出版770 页ISBN：9787115216762
本书全面介绍了Delphi程序开发所用到的技术和技巧，共分19章，内容包括窗体与界面技术、控件应用、数据处理技术、图形技术、多媒体技术、文件系统、操作系统与Window相差程序、注册表、数据库技术、SQL查询相...
夏敏捷，杨关，张慧档，张慎武，宋宝卫2017 年出版359 页ISBN：9787302472551
本书是一本面向广大编程爱好者的程序设计类图书。本书最大的特色在于以游戏开发案例为主要的内容。书中涉及到的游戏都是大家耳熟能详的。比如推箱子，连连看，象棋，贪吃蛇、麻将、网络五子棋等。让你对枯燥的语...
