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 2635 From Object-Orientation to Formal Methods Essays in Memory of

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

2004 年出版389 页ISBN：354021366X

Lecture Notes in Artificial Intelligence 4133 Intelligent Virtual Agents 6th International Working C

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

IVA 2006 Marina Del Rey2222 年出版0 页ISBN：

Lecture Notes in Computer Science 197 Seminar on Concurrency Carnegie-Mellon University Pittsburgh

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

1985 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 4428 Model Checking and Artificial Intelligence 4th Worksho

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

MoChArt IV Riva Del Garda2222 年出版0 页ISBN：

Lecture Notes in Computer Science 300 ESOP'88 2nd European Symposium on Programming Nancy

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

1988 年出版0 页ISBN：

Lecture Notes in Computer Science 761 Foundations of Software Technology and Theoretical Computer Sc

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

1993 年出版0 页ISBN：

Lecture Notes in Computer Science 1664 CONCUR'99 Concurrency Theory 10th International Conference Ei

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

1999 年出版0 页ISBN：

Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C

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

CiE 20072007 年出版826 页ISBN：9783540730002

Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In

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

RuleML 20042004 年出版215 页ISBN：3540238425