Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE

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

2007 年出版375 页ISBN：9783540731955

Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE

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

2006 年出版486 页ISBN：3540462198

Fourth International Conference on Trends in On-Line Computer Control Systems 5-8 April 1982

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

1982 年出版124 页ISBN：0852962568

Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures

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

2005 年出版659 页ISBN：3540262784

Lecture Notes in Computer Science 4831 Web Information Systems Engineering-WISE 2007 8th Internation

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

2007 年出版675 页ISBN：9783540769927

Lecture Notes in Computer Science 3307 Web Information Systems-WISE 2004 Workshops WISE 2004 Interna

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

2004 年出版275 页ISBN：3540238921

Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE

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

2005 年出版558 页ISBN：354029189X

Lecture Notes in Computer Science 3306 Web Information Systems-WISE 2004 5th International Conferenc

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

Australia2004 年出版0 页ISBN：

Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati

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

FORMATS 20032004 年出版281 页ISBN：3540216715

Lecture Notes in Computer Science 4623 Ontologies-Based Databases and Information Systems First and

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

ODBIS 2005/20062007 年出版154 页ISBN：9783540754732