Lecture Notes in Computer Science 4646 Computer Science Logic 21st International WorkshopPDF电子书下载
- 电子书积分:17 积分如何计算积分?
- 作 者:CSL 2007 16th Annual Conference of the EACSL
- 出 版 社:Springer-Verlag
- 出版年份:2007
- ISBN:9783540749141
- 页数:600 页
图书介绍:
《Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop》目录
标签:
相关图书
作者其它书籍
- 《亚运会媒体运行》第16届亚洲运动会组织委员会编著 2009
- 《广州亚运会场馆运行通用知识读本》第16届亚洲运动会组织委员会编 2009
- 《中国旅游研究 2007》北京旅游发展研究基地《中国旅游研究·2007》编委会编 2009
- 《广州亚运会竞赛项目通用知识读本》第16届亚洲运动会组织委员会编 2009
- 《中国21世纪议程 中国21世纪人口、环境与发展白皮书》1994年3月25日国务院第16次常务会议讨论通过 1995
- 《拖拉机 技术与应用》(德)K.Th.雷钮斯(K.Th.Renius)著;王 意译 1995
- 《党员干部树立社会主义荣辱观的16个热点话题:学习胡锦涛同志关于“八荣八耻”的重要讲话精神》《党员干部树立社会主义荣辱观的16个热点话题》编写组编写 2006
- 《现代礼仪》第16届亚洲运动会组织委员会编 2009
- 《党员教育培训16讲 怎样落实五年培训规划》《党员教育培训16讲:怎样落实五年培训规划》编写组编 2011
- 《2007古董拍卖年鉴 瓷器卷》《2007古董拍卖年鉴》编 2007
出版社其它书籍