Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON SCIENTIFIC COMPUTING AND APPLICATIONS
BEN-YU GUO ZHONG-CI SHI2007 年出版174 页ISBN:
本书汇集了国内外科学计算专家近年来的最新研究成果,收录了与会代表的18篇学术论文,其中包括邀请报告7篇。内容涉及科学计算的各个方面,包括偏微分方程数值解法,数学物理反问题的计算,多尺度计算,非线性最优化方....
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
HROTSVIT OF GANDERSHEIM:A FLORILEGIUM OF HER WORKS
1998 年出版130 页ISBN:0859914895