Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con

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

ICFEM 20042004 年出版500 页ISBN：3540238417

Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con

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

ICFEM 20072007 年出版386 页ISBN：9783540766483

Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con

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

ICFEM 20062006 年出版775 页ISBN：3540474609

A SOFTWARE LAW PRIMER

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

FREDERIC WILLAM NEITZKE1984 年出版157 页ISBN：0442268661

Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica

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

2005 年出版413 页ISBN：3540249362

A FIRST LOOK AT NUMERICAL FUNCTIONAL ANALYSIS

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

1978 年出版186 页ISBN：0198596286

A First Look At Numerical Functional Analysis

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

W.W.Sawyer1978 年出版0 页ISBN：

SOFTWARE QUALITY:A FRAMEWORK FOR SUCCESS IN SOFTWARE DEVELOPMENT AND SUPPORT

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

1994 年出版179 页ISBN：0201631989

Stability of numerical methods for delay differential equations = 延时微分方程数值方法的稳定性

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

Kuang Jiaoxun ; Cong Yuhao2005 年出版296 页ISBN：7030163176

本书主要内容为常微分方程数值处理中的常用方法介绍；常复数线性延时微分方程数值方法如线性多步，Runge－Kutta方的P稳定性、GP稳定性、GPL－稳定性，步长控制，步长与时间的矛盾；复系数延时微分方程的数值解及方法的稳...

APPLIED NUMERICAL MODELLING Edited by C.A.BREBBIA

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

2222 年出版713 页ISBN：