莫绍揆，王元元著1987 年出版335 页ISBN：7030000617
本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...
张骏主编；祝鲲业，陆科进，问治国，周超，刘敬，吴敏副主编2019 年出版248 页ISBN：9787121366727
本书通过理论和实践结合，系统地阐述边缘计算的发展，分析众多互联网行业案例并探讨边缘计算未来发展方向。本书内容包括边缘计算架构，边缘计算管理、运维以及安全构架设计，边缘计算应用，边缘计算未来发展展望。在...
李勇帆编著2001 年出版401 页ISBN：7115093954
本书由三章构成：第一章精要介绍了微机主要电源的供电方式，介绍了现阶段微机主要电源采用的新技术和新器件；第二章介绍了主机电源电路的识图方法和检修思路；第三章为本书重点，详细介绍了在我国市场流行的100多种...
（苏）别里雅耶夫（В.Н.Веляев）等著，（苏）阿切尔康（Н.С.Анеркан）编；许镇宇等译1963 年出版485 页ISBN：15165·2844
许光辰，王铮，王茜编著2005 年出版304 页ISBN：7121006448
本书从理论基础知识描述与实践应用相结合的角度出发，对嵌入式计算的一般概念、设计方法、多机体系结构、分布实时嵌入式系统等内容分别进行了深入浅出的详细论述，并且通过作者在实际工程应用中的一些相关实例...
菅利荣，刘思峰，刘勇编著2016 年出版234 页ISBN：9787121278334
本书较系统地介绍了经典的预测与决策方法，如时间序列预测方法、风险型预测与决策方法、综合决策方法等；及软计算预测与决策方法，主要包括灰色系统预测与决策方法、模糊集决策方法、粗糙集决策方法及神经网络预...
谭申刚主编2014 年出版190 页ISBN：9787561241547
螺栓是飞机结构最常用的连接件之一，在飞机结构设计中螺栓作为标准件被大量采用，强度设计分析时主要依据螺栓的标准试验结果进行，缺少对螺纹受载特点和强度分析方法的系统研究，本书从螺纹的演变历史出发，比较系统...
（美）迈克尔·詹德隆（MICHAELGENDRON）著；张瀚文译2015 年出版226 页ISBN：9787115385888
本书先对云计算的兴起进行了简单回顾，并阐述了这一提供IT服务的新方法是如何转化为企业技术的着陆地的；之后强调了与云计算应用和云经济相关的重要因素，并将关注点移到如何在云计算中实施商业智能的深刻剖析上...
蒋春敏主编2011 年出版186 页ISBN：9787508484143
本书共三个项目。第一个项目主要是对电力系统结构做相关的介绍，包括电力系统的基本概念、电力系统的组成，并根据电力系统的组成分别介绍发电厂、变电站、电力线路、电力用户等主要知识点；第二个项目主要是对电...
