Lecture Notes in Computer Science 89 Computer Aided Design Modelling

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

Systems Engineering1980 年出版459 页ISBN：

Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference

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

CAV 20042004 年出版536 页ISBN：3540223428

Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference

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

CAV 20052005 年出版564 页ISBN：3540272313

Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference

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

CAV 20072007 年出版562 页ISBN：9783540733676

Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference

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

CAV 20062006 年出版564 页ISBN：354037406X

Lecture Notes in Computer Science 2324 Computer Performance Evaluation Modelling Techniques and Tool

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

TOOLS 20022002 年出版349 页ISBN：3540435395

Lecture Notes in Computer Science 3643 Computer Aided Systems Theory-EUROCAST 2005 10th Internationa

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

Spain2005 年出版0 页ISBN：

Lecture Notes in Computer Science 4739 Computer Aided Systems Theory-EUROCAST 2007 11th Internationa

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

Spain2007 年出版0 页ISBN：

Lecture Notes in Computer Science 363 Logic at Botik'89

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

1989 年出版289 页ISBN：0387512373

Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification

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

1988 年出版209 页ISBN：3540506950