《计算系统的形式语义 下》高清PDF
作者:陆汝钤著
出版:北京:清华大学出版社
页数:1856 ✅ 真实服务 非骗流量 ❤️
出版时间:2017.01 (求助前请核对清楚)
求助编号:9141494980 (学习资料 勿作它用)
求助格式:PDF(无水印/扫描版)我要投诉
重要说明:求助即说明同意《文件求助条款》 Word/doc、ePubb、mobi、PPT、TXT
《计算系统的形式语义 上》高清PDF下载 陆汝钤著 2017.01
《生物特征的安全计算理论与技术》高清PDF下载 李建平,林劼,付波著 2011.09
《基于全站仪与普通数码相机的大型物体三维形貌测量方法的研究》高清PDF下载 杨谢柳,梁文峰,方素平著 2019.06
《计算机双目立体视觉》高清PDF下载 高宏伟著 2012.06
《图像理解 颜色认知计算》高清PDF下载 王金华,李兵,须德编著 2013.12
《Markov随机场在视觉和图像处理中的应用》高清PDF下载 (美)ANDREWBLAKE,PUSHMEETKOHLI,CARSTENROTHER编著;谢昭,杨学志,高隽,吴克伟译 2014.07
《形式语义学研究》高清PDF下载 高芸著 2013.12
《数据中心基础设施规划设计中的若干问题》高清PDF下载 数据中心技术研究组编著 2015.06
《《政府部门信息安全管理基本要求》理解与实施》高清PDF下载 谢宗晓编著 2014.12
《生物地理学优化算法及应用》高清PDF下载 郑宇军,陈胜勇,张敏霞著 2016.06
本书系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形式理论等内容。此外,还增加了当今非常热门的一个研究内容,即生物系统的形式化描述问题。内容全面丰富,文笔流畅,可读性强,是一本难得的学术专著。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。