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

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

2005 年出版659 页ISBN：3540262784

Lecture Notes in Computer Science 4527 Bio-inspired Modeling of Cognitive Tasks Second International

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

IWINAC 20072007 年出版630 页ISBN：9783540730521

Lecture Notes in Computer Science 4778 Analysis and Modeling of Faces and Gestures Third Internation

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

AMFG 20072007 年出版304 页ISBN：9783540756897

Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati

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

FORMATS 20032004 年出版281 页ISBN：3540216715

Lecture Notes in Computer Science 3723 Analysis and Modelling of Faces and Gestures Second Internati

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

AMFG 20052005 年出版424 页ISBN：3540292292

PROCEEDINGS OF 2012 INTERNATIONAL SYMPOSIUM ON INFORMATION TECHNOLOGIES IN MEDICINE AND EDUCATION (I

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

XIANGWEI ZHENG2012 年出版245 页ISBN：

CONTRIBUTIONS TO MODERN AND ANCIENT TIDAL SEDIMENTOLOGY PROCEEDINGS OF THE TIDALITES 2012 CONFERENCE

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

BERNADETTE TESSIER2016 年出版349 页ISBN：9781119218371

Proceedings of the IJSSD symposium 2012 on progress in structural stability and dynamics

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

C.M.Wang2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation

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

FORMATS 20062006 年出版369 页ISBN：3540450262

PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON SCIENTIFIC COMPUTING AND APPLICATIONS

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

BEN-YU GUO ZHONG-CI SHI2007 年出版174 页ISBN：

本书汇集了国内外科学计算专家近年来的最新研究成果，收录了与会代表的18篇学术论文，其中包括邀请报告7篇。内容涉及科学计算的各个方面，包括偏微分方程数值解法，数学物理反问题的计算，多尺度计算，非线性最优化方....