Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern

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

ATVA 20072007 年出版566 页ISBN：9783540755951

Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern

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

ATVA 20062006 年出版540 页ISBN：3540472371

CODES AND STANDARDS AND APPLICATIONS FOR DESIGN AND ANALYSIS OF PRESSURE VESSEL AND PIPING COMPONENT

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

1988 年出版87 页ISBN：

Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys

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

TACAS 20052005 年出版588 页ISBN：3540253335

Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys

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

TACAS 20072007 年出版738 页ISBN：9783540712084

Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys

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

TACAS 20062006 年出版506 页ISBN：3540330569

Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys

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

TACAS 20042004 年出版608 页ISBN：354021299X

FUNDAMENTALS OF COMPLEX ANALYSIS WITH APPLICATIONS TO ENGINEERING AND SCIENCE （THIRD EDITION）

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

[美]范德比尔特大学 南佛罗里达大学等著2004 年出版564 页ISBN：7111152174

本书全面介绍复变理论及其在当今工程问题上的应用，理论与实际应用密切结合 ，对工程类学科的学生来说，这种方式使数学方法更具生动性。本书的主要特点： 　　●结合使用MATLAB工具箱：使复杂算术运算及保形...

SAR Image Analysis

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

2222 年出版228 页ISBN：

SAR Image Analysis

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

2222 年出版312 页ISBN：