Lecture Notes in Computer Science 3466 Scenarios:Models

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

Transformations and Tools International Workshop2005 年出版279 页ISBN：3540261893

Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of

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

2004 年出版389 页ISBN：354021366X

LECTURE NOTES IN COMPUTER SCIENCE COMPUTATION THEORY 208

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

G.GOOS AND J.HARTMANIS ANDRZEJ SKOWRON2222 年出版397 页ISBN：3540160663

Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design

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

System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN：9783540727255

Lecture Notes in Computer Science 4393 STACS 2007 24th Annual Symposium on Theoretical Aspects of Co

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

Germany2007 年出版0 页ISBN：

Lecture Notes in Computer Science 3404 STACS 2005 22nd Annual Symposium on Theoretical Aspects of Co

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

Germany2005 年出版0 页ISBN：

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 4418 Computer Vision/Computer Graphics Collaboration Techniques Th

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

MIRAGE 2007 Rocquencourt2222 年出版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

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

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

TACAS 20072007 年出版738 页ISBN：9783540712084