计算系统的形式语义 下 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

计算系统的形式语义 上 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

计算机应用技能 第2版 【工业技术】

介绍最新版本的办公软件以及网页制作相关软件的使用方法，系统地介绍了Windows 10、Word 2016、Excel 2016、PowerPoint 2016、网页设计与制作、Photoshop CC、Animate CC的主要功能及具体的操作演示。书稿的...

计算机应用基础项目化教程 【工业技术】

本书采用项目化教学方法，用项目引领学习内容，强调了理论与实践相结合，通过任务着重培养学生的实际操作技能。本书由7个项目、25个任务组成，详细地介绍了计算机应用的基础知识、中文Win7操作系统、五笔录入、Mic...

西方德性思想史概论 【哲学宗教】

在人类道德思想史或伦理学史上，德性伦理具有重要的地位和独特的价值。因为德性伦理充分表现了人类道德中自由的意志与自由的尊严。 自亚里士多德完成人类知识体系的学科划分并首先创立伦理学以来，德性伦理就...

普通高等教育实验实训规划教材 电路实验与计算机仿真 【工业技术】

计算机网络工程 【工业技术】

作者根据多年来的网络工程经验、培训教学的体会和许多热情的读者提出的宝贵建议和改进意见的基础上写出《计算机网络工程基础教程》，力图使读者通过本书的阅读解决以下问题：计算机网络是怎样组成的？组网时需要...

云计算关键技术 【工业技术】

云计算技术是一项较新的技术，近年来发展迅速。这项技术是传统计算机技术和网络技术发展融合的产物，也是引领未来信息产业创新的关键战略性技术和手段。云计算的研究对计算机的使用方法产生重大变革，也将影响人...

计算机导论 第4版 【工业技术】

内容包含了计算机学科的各个方面，基础理论部分，主要介绍了计算机基础知识、计算机软硬件系统、计算机网络基础、多媒体技术基础等；操作技能部分，主要包括windows 7操作系统，以及以案例的形式介绍的常用办公软件W...

大学计算机基础实验指导 【工业技术】

本书是《计算机文化基础》的配套实验教材，共分6章，包括键盘练习和汉字录入的上机操作，Windows的上机操作；Office 的Word ，Excel ，PowerPoint 的上机操作，计算机局域网、国际互联网和电子邮件的上机操作，最后附有计...