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
Lecture Notes in Artificial Intelligence 4617 Modeling Decisions for Artificial Intelligence 4th Int
MDAI 20072007 年出版502 页ISBN：9783540737285
Design of Advnced Manufacturing Systems Models for Capacity Planning in Advanced Manufacturing Syste
ANDREA MATTA2005 年出版267 页ISBN：
Essential Computationl Modeling in Chemistry A derivative of Handbook of Numerical Analysis Special
Vol 102011 年出版386 页ISBN：9780444537546
THE GROUNDED THEORY PERSPECTIVE II DESCRIPTION’S REMODELING OF GROUNDED THEORY METHODOLOGY
BARNEY G.GLASER2003 年出版217 页ISBN：
