Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Mathematical methods for physics and engineering A comprehensive guide
K.F.Riley M.P.Hobson S.J.Bence2222 年出版1008 页ISBN：0521555299
student solutions manual for mathematical methods for physics and engineering third edition
k.f.riley and m.p.hobson2006 年出版534 页ISBN：0521683394
Mathematical Methods in Linguistics
（美）Barbara H.Partee Alice ter Meulen Robert E.Wall2009 年出版664 页ISBN：
