Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour

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

2007 年出版539 页ISBN：9783540752202

Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation

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

FORMATS 20062006 年出版369 页ISBN：3540450262

Lecture Notes in Computer Science 3516 Computational Science-ICCS 2005 5th INternational Conference

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

GA2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3514 Computational Science-ICCS 2005 5th International Conference

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

GA2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3133 Computer Systems:Architectures

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

Modeling2004 年出版562 页ISBN：

Lecture Notes in Computer Science 3448 Evolutionary Computation in Combinatorial Optimization 5th Eu

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

EvoCOP 20052005 年出版271 页ISBN：3540253378

Lecture Notes in Computer Science 4747 Knowledge Discovery in Inductive Databases 5th International

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

KDID 20062007 年出版301 页ISBN：9783540755487

Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming

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

1982 年出版304 页ISBN：3540112103

Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D

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

2005 年出版492 页ISBN：3540251073

Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int

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

2006 年出版462 页ISBN：3540465596