Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕PDF电子书下载
- 电子书积分：14 积分如何计算积分？
- 作 者：Michael Huth
- 出 版 社：Cambridge University Press
- 出版年份：2004
- ISBN：
- 页数：427 页
图书介绍：
《Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕》目录
标签：
相关图书
作者其它书籍
- 《一分钟英语会话课 马上敢开口的英语会话》Michael Coughlin，陈胜编著 2018
- 《深度专注力 管理精力和时间的9种方法》（美）迈克尔·海厄特（Michael Hyatt）著 2020
- 《男孩要帅气 如何成为受欢迎的男生》白雅君，（美）柯迈林（Michael Collins）著 2012
- 《骨骼肌肉MRI/CT断层解剖 第4版》MARK W.ANDERSON，MICHAEL G.FOX原著；韩鸿宾主译 2019
- 《教育技术基础 整合的方法和跨学科的视角》卢蓓蓉译；彭呈军责任编辑；（美）J.Michael 2019
- 《史上最好玩的英文百科全说 1 生活新知卷》Michael Xiao，Annie，金智骏主编 2013
- 《史上最好玩的英文百科全说 2 热门话题卷》Michael Xiao，Annie，金智骏主编 2013
- 《数位时代市场发展策略》麦克·拜勒（Michael Bayler），大卫·史多顿（David Stoughton）著；胡玮珊译 2002
- 《留美学习与生活情景对话 上、下 －FLY AWAY 下》（美）MICHAEL KUSSMAUL，杜曾慧主编 2013
- 《专用集成电路》（美）Michael John Sebastian Smith著 2007
出版社其它书籍
- 《中国“80后”大学教师胜任力评价研究＝RESEARCH ON THE EVALUATION OF CHINA'S POST 80s GENERATION UNIVERSITY TEACHERS' CO》黄艳著 2013
- 《解读好莱坞：电影的空间与意义》Deborah Thomas著；李达义，曹玉玲译 2004
- 《会说话的星图 星座篇》徐历涛著 2014
- 《可靠性工程与风险管理 第3辑 英文版》赵衍刚编 2012
- 《竞争战略 全译珍藏版》（美）迈克尔·波特（Michael E. Porter）著 2012
- 《中国材料名师讲坛 第1辑》谢建新主编 2012
- 《翻译能力的培养》舍夫娜，阿达巴编 2012
- 《大学生外语口语焦虑 自我图式的视角 for university students: in the view of self-schema》巫文胜著 2014
- 《都柏林大学的教育内涵与实践 探索世界高水平大学发展之路 explore the development of the world high-level university》李全宏编著 2013
- 《物理学 卷1 力学和热学 医学、生物等专业适用 英文改编版原书第4版》AlanGiambattista，BettyMcCarthyRichardson著 2013