Lecture Notes in Computer Science 4355 B 2007:Formal Specification and Development in B 7th Internat

下载此书RAR压缩包在线购买PDF电子书

France2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3768 Advances in Multimedia Information Processing-PCM 2005 6th Pa

下载此书RAR压缩包在线购买PDF电子书

Korea2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4810 Advances in Multimedia Information Processing-PCM 2007 8th Pa

下载此书RAR压缩包在线购买PDF电子书

China2007 年出版0 页ISBN：

Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S

下载此书RAR压缩包在线购买PDF电子书

2004 年出版240 页ISBN：354020766X

Lecture Notes in Computer Science 1563 STACS 99 16th Annual Symposium on Theoretical Aspects of Comp

下载此书RAR压缩包在线购买PDF电子书

Germany1999 年出版583 页ISBN：

Lecture Notes in Computer Science 3884 STACS 2006 23rd Annual Symposium on Theoretical Aspects of Co

下载此书RAR压缩包在线购买PDF电子书

France2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3332 Advances in Multimedia Information Processing-PCM 2004 5th Pa

下载此书RAR压缩包在线购买PDF电子书

Japan2222 年出版0 页ISBN：

计算机在测控网中的应用=the application of computer in tracking telemetry and command networks

下载此书RAR压缩包在线购买PDF电子书

贾永年主编2000 年出版0 页ISBN：

新型城镇化与城乡规划教育 2014全国高等学校城乡规划学科专业指导委员会年会论文集=New urbanization and planning education: proceedings of Ch

下载此书RAR压缩包在线购买PDF电子书

全国高等学校城乡规划学科专业指导委员会2014 年出版0 页ISBN：

Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys

下载此书RAR压缩包在线购买PDF电子书

TACAS 20052005 年出版588 页ISBN：3540253335