对话法律 法律证成和论证的对话模型 【政治法律】

本书是作者1998年博士论文的扩展版，作者为刻画法律证成而发展了一种对话模型——对话法律（DiaLaw），进一步还基于逻辑程序（Prolog）实现了该对话模型。本书的目的是为了人工智能在法律领域中的应用提供哲学基础和实...

机电工程创优策划与指导 【工业技术】

本书共十章，内容主要包括：概述、创优策划、安装工程通用部分、建筑安装工程、电力工程、石油化工工程、冶金工程、其它安装工程、工程资料管理、创优工程申报及工程复查等。创优策划重点介绍了总体策划和细部...

建设工程施工合同 示范文本 条款释义与范例填写 【工业技术】

岩土工程测试与检测技术 第2版 【工业技术】

e-HR系统设计与实践 【经济】

本书将人力资源的理论和方法与软件实用操作技巧相接合，以用友E-HR软件平台为载体，系统地介绍了e-HR系统的各个功能模块，从理论介绍、实验介绍和实验练习三个篇章渐进分解了人力资源管理中各项功能的计算机系统...

十三五 单片机原理与应用实例仿真 第3版 【工业技术】

本书详细介绍了51系列单片机的结构原理和应用设计，叙述了单片机开发软件Keil C51的使用及调试方法。书中列举了大量的单片机应用实例，实例均能仿真通过。最后一章介绍了单片机实体电路的开发过程，对如何焊接电...

海南省建筑节能与绿色建筑工程实例集 【工业技术】

地铁与轻轨工程 【交通运输】

本书以地铁与轻轨工程的建造过程为主线，以地铁与轻轨的规划设计、施工、到营运管理为序，系统地介绍了地铁与轻轨工程的基本知识，重点介绍地铁与轻轨系统的组成子系统与各部分的特点，力求让读者对地铁与轻轨系统...

电子工程与计算机科学系列 电路理论基础 【工业技术】

超高层建筑机电工程施工技术与管理 【工业技术】