PROBABILISTIC FINITE ELEMENT MODEL UPDATING USING BAYESIAN STATISTICS APPLICATIONS TO AERONAUTICAL A
TSHILIDZI MARWALA AND LIYES BOULKAIBET2017 年出版228 页ISBN：1119153030
CREATING MIXED MODEL VALUE STREAMS PRACTICAL LEAN TECHNIQUES FOR BUILDING TO DEMAND
SECOND EDITION KEVIN J.DUGGAN2013 年出版238 页ISBN：1439868430
师若鸣，姜中华，刘在强等编著2005 年出版458 页ISBN：7302116075
Fedora Core 2是Red Hat Linux最新版，它使用2.6版新内核、优秀的图形界面，而且提供了很多方便易用的系统工具和网络管理工具。本书共24章。第1～14章主要讲述Fedora Core 2基础内容，包括Fedorea Core 2的安装和...
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN：3540213147
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
