Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int

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

ATVA 20042004 年出版506 页ISBN：3540236104

Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte

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

ATVA 20052005 年出版506 页ISBN：3540292098

ELEMENTARY SYMBOLIC DYNAMICS AND CHAOS IN DESSIPATIVE SYSTEMS

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

1989 年出版460 页ISBN：

Real-Time Data Processing Systems:Introductory Concepts

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

1964 年出版186 页ISBN：

Translations Series 1 Volume 5 Stability and Dynamic Systems

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

1962 年出版510 页ISBN：

DISCONTINUOUS DYNAMICAL SYSTEMS ON TIME-VARYING DOMAINS

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

2222 年出版223 页ISBN：

THE QUANTUM THEORY OF MANY-PARTICLE SYSTEMS

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

1962 年出版345 页ISBN：

ENERGY TRANSFER WITH SPECIAL REFERENCE TO BIOLOGICAL SYSTEMS

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

1959 年出版276 页ISBN：

Environmental Geoscience:Interaction between Natural Systems and Man

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

2222 年出版511 页ISBN：

A NEW ECOLOGY Novel Approaches to Interactive Systems

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

2222 年出版515 页ISBN：