Lecture Notes in Computer Science 4745 SDL 2007:Design for Dependable Systems 13th International SDL

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

2007 年出版290 页ISBN：9783540749837

Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv

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

1985 年出版573 页ISBN：3540152164

Lecture Notes in Control and Information Sciences 349 Control Systems Theory and Applications for Li

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

2007 年出版468 页ISBN：9783540426639

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

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

2004 年出版376 页ISBN：3540232524

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

Analysis and Synthesis of Computer Systems

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

1980 年出版239 页ISBN：0122793501

Security of COmputer Based Information Systems

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

1985 年出版182 页ISBN：0333364368

Handbook of Expert Systems in Manufacturing

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

2222 年出版561 页ISBN：0070409846

THE MATHEMATICAL THEORY OF L SYSTEMS

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

1980 年出版352 页ISBN：0125971400