崔坚，赵欣，任术才编著2010 年出版418 页ISBN：9787111287186
本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容，可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
梁志剑等编著2011 年出版262 页ISBN：9787118076073
本书分基础篇、应用篇和提高篇，介绍了程序设计基础内容，不同领域的应用实例以及一些常用算法。全书采用C语言为程序描述语言，所有实例均经过测试和验证。本书适合高等院校程序设计基础课程使用，也可供对C语言及...
金东萍，刘一臻，王彦明主编；畅惠明，李辽辉副主编；刘慧宇参编2016 年出版226 页ISBN：9787564343408
本书介绍了C语言程序设计的有关知识。全书包括上机实验、综合实训和等级考试三部分内容。上机实验部分含基本的C语言程序设计实验和单元测试，有针对性地提高读者的编程能力；综合实训部分含基本实训和项目实训...
潘陆益主编2003 年出版151 页ISBN：7030121139
本书主要介绍Delphi 6基本操作与语言基础、Delphi 6常用组件、Delphi 6数据库基础、数据库应用程序开发、Help文件的制作与使用、文件和流操作以及Internet编程。本书以培养和提高学生的Delphi 6基本操作和...
唐耀，何明国等编著2004 年出版306 页ISBN：7508420195
本书采用由浅入深的阶梯式方式、全面细致的介绍了Visual Basic.NET程序设计的基本方法和技术。前三章讲解了开发奖、环境配置和Visual Basic.NET的语法基础，第4、5章分别突出了.NET框架和面向对象技术；第6-14...
蔡剑，景楠著2003 年出版533 页ISBN：7894940690
本书介绍了J2EE的基本概念，讲解各种编程技术，包括客户层技术、服务器层技术、数据事务与安全、打包与部署等。
王金明编著2004 年出版308 页ISBN：7115119392
本书对Verilog HDL程序设计做了系统全面的介绍，以可综合的设计为重点，同时对仿真和模拟也做了深入的阐述。全书以IEEE Std 1364-1995（Verilog-1995）标准基础，全面介绍了Verilog HDL的词法、语法、语句，可综合程序...
谢膺白主编；田晓辉，弓有辉，刘喜勋编2003 年出版310 页ISBN：756051748X
本书根据高职高专教学要求及全国计算机等级考试二级数据库考试大纲要求编写。全书以Visual Foxpro 6.0为平台，介绍了数据库的基本知识，基本操作，结构化程序设计初步，SQL语言和面向对象的程序设计方法。全书例题...
