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

HEAT CONVECTION IN MICRO DUCTS

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

YITSHAK ZOHAR2003 年出版202 页ISBN：

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

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

TACAS 20042004 年出版608 页ISBN：354021299X

CONTROL FLOW AND DATA FLOW：CONCEPTS OF DISTRIBUTED PROGRAMMING

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

2222 年出版525 页ISBN：3540139192

PAX COMPUTER High-Speed Parallel Processing and Scientific Computing

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

1985 年出版245 页ISBN：0201184923

HEAT TRANSFER IN COLD CLIMATES

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

VIRGIL J.LUNARDINI1981 年出版731 页ISBN：0442262507

Modelling in Data Base Management Systems

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

1976 年出版418 页ISBN：0720404592

ECONOMIC MODELLING IN THE OECD COUNTRIES

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

1988 年出版746 页ISBN：0412297701