Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
SPORTS FUNDRAISING DYNAMIC METHODS FOR SCHOOLS
UNIVERSITIES AND YOUTH SPORT ORANIZATIONS2012 年出版208 页ISBN：9780415507196
The 13th International Conference on Distributed Computing Systems May 25-28
19931993 年出版570 页ISBN：
Lecture Notes in Computer Science 3938 Architecting Systems with Trustworthy Components
2006 年出版299 页ISBN：3540358005
1988 IEEE SYMPOSIUM ON THE ENGLNEERING OF COMPUTER BASED MEDICAL SYSTEMS
1988 年出版174 页ISBN：0818608633
NUMERICAL METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS
S I HARIHARAN & T H MOULDEN2222 年出版299 页ISBN：
ANALYZING QUALITATIVE DATA:LOG-LINEAR ANALYSIS FOR BEHAVIORAL RESEARCH SECOND EDITION
JOHN J.KENNEDY1992 年出版300 页ISBN：0275934462
Human factors models for aviation accident analysis and prevention
Thomas G.C.Griffin;Mark S.Young;Neville A.Stanton2015 年出版225 页ISBN：1472432759
