Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Spectral and High-Order Methods with Applications Mathematics Monograph Series 3
Jie Shen2006 年出版326 页ISBN：
BEHAVIOR AGING AND THE NERVOUS SYSTEM
A.T.WELFORD AND JAMES E.BIRREN1965 年出版637 页ISBN：
Planning Office Automation Information Management Systems
J A T Pritchard and I Cole1983 年出版0 页ISBN：
Electrical Power System Protection 2nd Edition
C.Christopoulos1999 年出版607 页ISBN：
Tumors of The Central Nervous System
James W.Kernohan and George P.Sayre1952 年出版130 页ISBN：
