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 3670 Formal Techniques for Comprter Systems and Busoness Processes

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

EPEW 20052005 年出版349 页ISBN：3540287019

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

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

ATVA 20052005 年出版506 页ISBN：3540292098

Lecture Notes in Computer Science 2193 Technologies for E-Services Second International Workshop

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

TES 20012001 年出版213 页ISBN：3540425659

Lecture Notes in Computer Science 4311 Technologies for Advanced Heterogeneous Networks II Second As

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

AINTEC 20062006 年出版255 页ISBN：9783540493648

Lecture Notes in Computer Science 3667 Spatial Coherence for Visual Motion Analysis First Internatio

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

SCVMA 20042006 年出版141 页ISBN：3540325336

ADAPTIVE FINITE ELEMENT METHODS FOR OPTIMAL CONTROL GOVERNED BY PDES

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

WENBIN LIU，NINGNING YAN2008 年出版199 页ISBN：9787030222565

本书主要介绍最优控制自适应有限元方法的理论、计算和应用。首先简要介绍了偏微分方程最优控制的一些模型问题、应用背景、存在性及最优性条件等基本理论，然后以椭圆型方程最优控制为主，介绍了最优控制的有限...

Lecture Notes in Computer Science 4122 Multimodal Technologies for Perception of Humans First Intern

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

Activities and Relationships2007 年出版360 页ISBN：

handbook of research on methods and techniques for studying virtual communities paradigms and pheno

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

2222 年出版0 页ISBN：

handbook of research on methods and techniques for studying virtual communities paradigms and pheno

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

2222 年出版0 页ISBN：