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

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

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

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

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

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

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

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

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

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

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

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

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

计算机专业英语 【工业技术】

本书是面向计算机及相关专业英语课程的教材，它全面介绍和讲解了深刻影响着我们生活的信息技术，包括最新的科研成果、业界前沿课题和发展趋势，又有计算机文化典故和名人轶事。本教材信息容量大，知识性强，注重英语...

大学计算机基础 Windows7+Office2010 第2版 【工业技术】

基于MATLAB的电气工程 计算机仿真技术与CAD 【工业技术】