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

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

ATVA 20062006 年出版540 页ISBN：3540472371

LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED

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

G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN：3540173560

Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures

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

2005 年出版659 页ISBN：3540262784

Leture Notes in Computer Science 8 GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen Braunsc

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

20.-22.3.19741974 年出版340 页ISBN：3540066772

DIALECTICAL THOUGHT IN NATURAL SCIENCE

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

LI QIANSHENG2222 年出版118 页ISBN：7810231723

Applied Analysis Mathematical Methods in Natural Science

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

2004 年出版378 页ISBN：186094440X

Social science in natural resource management systems

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

Westview Press1987 年出版0 页ISBN：

Lecture Notes in Mathematics

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

2222 年出版193 页ISBN：354012893X

Lecture Notes in Statistics (15)

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

1983 年出版305 页ISBN：

Lecture Notes in Chemistry 8

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

1978 年出版175 页ISBN：3540087680