YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
潘陆益主编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语言和面向对象的程序设计方法。全书例题...
刘朝辉，刘建海主编2017 年出版129 页ISBN：9787516729700
本书以天津市公共实训中心TVT-HLX-T实训设备为依托编制而成，着重介绍了基本概念、基本理论和基本操作方法，突出知识和技能的实用性，采用任务驱动法，以任务来引领实训教学的设计和实施。分为基础篇和提高篇，每篇...
《人民法院量刑指导意见》与《关于规范量刑程序若干问题的意见》理解与适用
高贵君主编2011 年出版478 页ISBN：9787509322239
本书是有关《人民法院量刑指导意见》以及规范量刑程序若干问题的意见及相关法律法规文件，对量刑实体问题和程序问题都作出细致规定。
赵宏主编2010 年出版271 页ISBN：9787310034994
本书是“面向对象程序设计”《C高级语言》的配套用书，为满足初学者学习C 语言的需要，精心为各章选编了上机实习，并在思想方法、算法和语法上给出了相应的实习指导，最后还选编了配套的典型习题。...
可视化Java GUI程序设计 基于Eclipse VE开发环境
赵满来主编2010 年出版364 页ISBN：9787302236801
本书主要介绍了窗口、基本组件、容器、布局管理、事件处理、菜单、工具栏、表格和树等的可视化创建、属性设置及其在 Java GUI 程序设计中的应用等内容。...
