Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International

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

FMICS 20062007 年出版364 页ISBN：9783540709510

TURBULENT FLOW COMPUTATION

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

D.DRIKAKIS AND B.J.GEURTS2002 年出版369 页ISBN：

DESIGN THEORY AND METHODS USING CAD/CAE THE COMPUTER AIDED ENGINEERING DESIGN SERIES

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

KUANG-HUA CHANG2015 年出版494 页ISBN：9780123985125

RECENT MATHEMATICAL METHODS IN NONLINEAR WAVE PROPAGATION

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

1996 年出版142 页ISBN：9783540619079

METHODS OF WAVE THEORY IN DISPERSIVE MEDIA

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

2010 年出版258 页ISBN：9789814261692

Lecture Notes in Computer Science 3028 Probabilistic and Statistical Methods in Cryptology An Introd

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

2004 年出版158 页ISBN：3540220011

Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati

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

EPEW 20062006 年出版238 页ISBN：3540353623

Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa

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

FMCO 2003 Leiden2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop

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

WS-FM 20062006 年出版289 页ISBN：3540388621

Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con

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

ICFEM 20052005 年出版496 页ISBN：3540297979