陈胜利著2016 年出版465 页ISBN：9787560357973
本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
徐力，宋宇，艾伦编著2007 年出版163 页ISBN：7807230967
本书内容主要涉及人类航空和航天探索的历程、当前的探索情况和发展前景，注意介绍了在这个领域作出杰出贡献的科学家和探索者的创造及探索经历。...
朱梁，梅长林，张红武编著2006 年出版126 页ISBN：7810605313
本书介绍了医学计算机化题库系统的开发与应用研究的指导原则、建立过程、考试及分析的过程，记述了诊断性评价在医学教育评估中的应用。
俞俊甫，李志群主编2007 年出版136 页ISBN：7113077404
本教材是配合“计算机应用技术基础教程”编写的习题集，习题类型都是根据目前国家计算机等级考试一级、省高校非计算机专业计算机基础考试和成人教育计算机考试要求设计的。...
凌传繁等编著2000 年出版224 页ISBN：7313024118
本书介绍计算机网络技术的原理与应用，内容包括：计算机网络概述，数据通信基础，计算机网络的体系结构，局域网，广域网，网络操作系统，网络规划与管理，Windows2000 Server，Unix与Linux，Internet技术与应用等。 本书理论联系...
张少军主编2004 年出版346 页ISBN：7508326148
本书的主要内容包括：通信基础知识、计算机网络基础、网络工程设计；综合布线系统；楼宇自控系统中的现场总线控制系统及工程应用；internet和无线网络；网络安全；internet接入及宽带接入；web网页技术要素；楼宇自动化系....
韩敏编2015 年出版293 页ISBN：9787517039655
本书从机器学习的理论与应用出发，重点对基于人工神经网络的学习方法进行了阐述，并对监督和半监督两种学习形式分别进行了深入的探讨。在理论研究的基础之上，针对遥感图像解译的实际问题，给出了多个仿真实例，进而...
唐永圣著2018 年出版266 页ISBN：9787030584663
本书针对土木工程领域迫切需求结构性能长期监测与保障关键技术的情况，提出了将先进的分布式光纤传感技术与高性能纤维复合材料（FRP）高效复合，形成具有自传感功能的新型材料-自传感FRP，大幅提高了分布式光纤传感...
