（1）提出一种基于Alloy的本体一致性非标准推理方法。（2）提出一种改进的基于SAT的本体一致性非标准推理方...
2017.10
本书是一本计算机应用与网络发展研究的理论专著，书中主要介绍了认识计算机网络、数据传输、TCP/IP协议、计...
2017.8
本书主要研究计算机基础与应用创新，一共分五章，分别为计算机基础知识、计算机操作系统研究、数据库设计研...
2017.8
本专著以计算机系统与操作系统为中心，重点介绍了计算机工作原理以及操作系统的主要职能。本书首先介绍了计...
2017.5