周从华著2014 年出版203 页ISBN：9787030418920
本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...
李萍，田红彬主编；张池，邹琦副主编2012 年出版160 页ISBN：9787115270658
本书按照基于工作过程的编写思路，主要介绍单片机开发工具软件、C51程序设计、单片机定时与中断系统、人机交互处理、数据通信处理、A/D与D/A转换接口、proteus软件以及单片机综合应用系统设计等内容。...
陈妙云主编2013 年出版314 页ISBN：9787512112872
本书为“现代远程教育系列教材”之一。全书共设八章，讲授行政公文写作、事务文书写作、信函文书写作、礼仪文书写作、经济文书写作、学术类文书写作和规章文书写作。内容具有“通用性”，目的是让使用本教材的...
成谢锋，孙科学，张学军编著2011 年出版230 页ISBN：9787115246622
本书主要介绍现代电子设计技术的基本理论和方法。全书共分7章，内容包括电子设计自动化的发展动态和EDA新技术，计算机辅助电路分析和电路仿真技术，印制电路板设计及应用，VHDL语言及其应用，专用集成电路设计，虚拟仪...
黄俊松编著2009 年出版223 页ISBN：9787561446515
本书介绍数据库基本原理和SQL server应用，主要内容包括：数据库原理的基本概念和基本理论；SQL server的基础知识；数据库创建的相关操作；表的操作和数据的管理；数据完整性、约束、默认与规则等。...
李金伴主编2012 年出版232 页ISBN：9787122126832
本书内容包括远程自动抄表系统的设备工作原理与系统的构成、低压电力线载波自动抄表系统、自动抄表系统的智能表、智能自动抄表硬件系统、远程抄表监控系统软件、典型远程自动抄表系统的应用实例等。通过阅...
