张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
Visual FoxPro数据库通用模块及典型系统开发实例导航
求是科技编著2006 年出版390 页ISBN：7115143307
本书分为通用模块和典型实例两部分，在通用模块部分中，以人力资源管理系统中的各个模块为例，介绍了VF程序设计中常见的功能模块。
唐雄燕等编著2013 年出版254 页ISBN：9787121189715
本书在梳理国内外智慧医疗相关概念和发展背景基础上，阐述其技术和应用体系，基于物联网架构，全面介绍了智慧医疗相关的关键技术。全书共分三部分。第一部分为基础篇，阐述智慧医疗的发展背景和基本概念，重点分析物...
基于客户行为差异的汽车售后服务挖掘模型及其商务智能决策支持系统研究
王斌著2015 年出版116 页ISBN：9787519201692
本书源于作者的博士后研究工作报告，全书共分七章，第一章对国内汽车售后服务行业现状及特点展开分析，第二章对服务挖掘的相关理论进行了研究并建立基于客户行为差异的汽车售后服务挖掘框架。第三到七章分别从汽...
杨红卫主编2009 年出版92 页ISBN：9787040263879
本书是《Visual Basic程序设计及应用教程》的实验配套教材，内容包括基本操作能力训练、综合能力训练与创新和测试三大部分。
