Lecture Notes in Computer science 4590 Computer Aided Verification 19th International ConferencePDF电子书下载
- 电子书积分：17 积分如何计算积分？
- 作 者：CAV 2007
- 出 版 社：Springer-Verlag
- 出版年份：2007
- ISBN：9783540733676
- 页数：562 页
图书介绍：
《Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference》目录
标签：
相关图书
作者其它书籍
- 《中国旅游研究 2007》北京旅游发展研究基地《中国旅游研究·2007》编委会编 2009
- 《2007古董拍卖年鉴 瓷器卷》《2007古董拍卖年鉴》编 2007
- 《2007古董拍卖年鉴 玉器卷》《2007古董拍卖年鉴》编 2007
- 《2007当代艺术院校大学生年度提名展作品集 上》“2007当代艺术院校大学生年度提名展”组委会编 2007
- 《2007当代艺术院校大学生年度提名展作品集 下》“2007当代艺术院校大学生年度提名展”组委会编 2007
- 《Arithmetic of Finite Fields First International Workshop》WAIFI 2007 2007
- 《Fundamemtals of Computation Theory 16th International Symposium》FCT 2007 2007
- 《Advances in Artificial Life 9th Europen Conference》ECAL 2007 2007
- 《Financial Cryptography and Data Security 11th International Conference》FC 2007 2007
- 《FOREIGN COMMERCE AND THE ANTITRUST LAWS 2007-2 CUMULATIVE SUPPLEMENT CURRENT THROUGH JUNE 1》2007 FIFTH EDITION 2007
出版社其它书籍