Fundamental Proof Methods in Computer Science A Computer-Based ApproachPDF电子书下载
- 电子书积分：24 积分如何计算积分？
- 作 者：Konstantine Arkoudas
- 出 版 社：The MIT Press
- 出版年份：2017
- ISBN：0262035538
- 页数：942 页
图书介绍：
《Fundamental Proof Methods in Computer Science A Computer-Based Approach》目录
标签：
出版社其它书籍
- 《9 BEKNNTE ORIGINALSTUCKE VON LEICHT BIS MITTELSCHWER MIT PRAKTISCHEN ERLAUTERUNGEN》
- 《竞争战略 全译珍藏版》（美）迈克尔·波特（Michael E. Porter）著 2012
- 《随机模型概论 英文版 第4版》（美）MarkA.Pinsky西北大学，（美）SamuelKarlin斯坦福大学著 2013
- 《学府之魂 美国著名大学校长演讲录》眭依凡主编；谢谷萍，孙丽媛副主编 2013
- 《设计智能高级计算性建筑生形研究 学生建筑设计作品》徐卫国，（英）尼尔·林奇（NeilLeach）编 2013
- 《数字营造 建筑设计·运算逻辑·认知理论》李大夏名誉主编；陈寿恒等主编 2009
- 《自适应控制与应用》陈复扬主编 2009
- 《风格与时代》（苏）金兹堡（Тинзбург，М.Я.）著；陈志华译 1991
- 《网络互联技术手册 第2版》（美）（K.唐斯）Kevin Downes等著；包晓露等译 1999
- 《新版交换式以太网和快速型以太网 第2版》（美）（R.布雷耶）Robert Breyer，（美）（S.赖利）Sean Riley著；肖文贵等译 1997