temporal logic and temporal logic progammingPDF电子书下载
- 电子书积分：9 积分如何计算积分？
- 作 者：duan zhenhua
- 出 版 社：科学出版社
- 出版年份：2222
- ISBN：7030166515
- 页数：196 页
图书介绍：本书主要介绍有关计算机科学与技术方面的基本知识和应用等。
《temporal logic and temporal logic progamming》目录
标签：
相关图书
作者其它书籍
- 《人格理论 第2版》Duane.Schultz，Sydney Ellen Schultz著 2004
- 《应用心理学》Duane P. Schultz 钟锦泉译 1988
- 《你的报纸》Duane Bradley 李诰译 1969
- 《器官移植手术图谱》（美）PAUL C.KUO R.DUANE DAVIS主编；沈中阳 刘晓程 王自法主译；朱志军 宋文利 张建军 张雅敏 高伟 2006
- 《战略管理 竞争与全球化 概念》（美）迈克尔 A.希特（Michael A.Hitt），（美）R.杜安·爱尔兰（R.Duane Ireand），（美）罗伯特 E.霍斯基森（Robert E.Hoskisson）著；吕巍等译 2006
- 《人格理论》Duane Schultz，Sydney Ellen Schultz著 车先蕙等翻译 1999
- 《现代心理学史 第8版》（美）杜·舒尔兹（Duane P. Schultz），（美）西德尼·埃伦·舒尔兹（Sydney Ellen Schultz）著；叶浩生译 2005
- 《工商心理学导论》Duane Schultz，Sydney Ellen Schultz著 2008
- 《Haines临床神经解剖图谱 中文翻译版 原书第9版译出》Duane E. Haines主编；张力伟主译 2018
- 《最新神经解剖图谱 第5版》（美）杜安· E.海恩斯（Duane E.Haines）著；鲍圣德等译 2002
出版社其它书籍