Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
MYIHS，MODELS & U.S.FOREIGN POLICY THE CULTURAL SHAPING OF THREE COLD WARRIORS
1998 年出版213 页ISBN：1555877664
异构蜂窝网的解析建模：几何、覆盖和容量＝ANALYTICAL MODELING OF HETEROGENEOUS CELLULAR NETWORKS: GEOMETRY
COVERAGE（美）SA 年出版0 页ISBN：2020
Mathematical thought from ancient to modern times=古今数学思想 第2册 英文版
Morris Kline2014 年出版846 页ISBN：7547820711
LECTURE NOTES IN MATHEMATICS 771 APPROXIMATION METHODS FOR NAVIER-STOKES PROBLEMS
R.RAUTMANN2222 年出版581 页ISBN：3540097341
Lecture Notes in Artificial Intelligence 4617 Modeling Decisions for Artificial Intelligence 4th Int
MDAI 20072007 年出版502 页ISBN：9783540737285
