PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON SCIENTIFIC COMPUTING AND APPLICATIONS
BEN-YU GUO ZHONG-CI SHI2007 年出版174 页ISBN：
本书汇集了国内外科学计算专家近年来的最新研究成果，收录了与会代表的18篇学术论文，其中包括邀请报告7篇。内容涉及科学计算的各个方面，包括偏微分方程数值解法，数学物理反问题的计算，多尺度计算，非线性最优化方....
Imagining Soldiers and Fathers in the Mid-Victorian Era Charlotte Yonge's Models of Manliness
2010 年出版239 页ISBN：9780754669593
FORMAL THEORIES OF VISUAL PERCEPTION
E.L.J.LEEUWENBERG H.F.J.M.BUFFART2222 年出版345 页ISBN：
Ultimate limit state design of steel plated structures
Jeom Kee Paik2003 年出版0 页ISBN：
FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN：0201172372
FUNDAMENTALS OF COMPUTATION THEORY
J.CSIRIK J.DEMETROVICS F.GECSEG2222 年出版493 页ISBN：3540514988
PICTURE LANGUAGES Formal Models for Picture Recognition
1979 年出版226 页ISBN：0125973403
