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
Lecture Notes in Computer Science 3530 SDL 2005:Model Driven 12th International SDL Forum
2005 年出版361 页ISBN：3540266127
AN INTRODUCTION TO THE STANDARD MODEL OF PARTICLE PHYSICS SECOND EDITION
W.N.COTTINGHAM，D.A.GREENWOOD2010 年出版272 页ISBN：9787510005541
本书介绍了粒子物理学中标准模型的最新进展；每章结尾处都附有习题和部分解答提示；数学推导详细，数学思想描述深刻，适合物理专业的研究生。...
PARENTS＇ AMD TEACJERS＇ GUIDES 8 BILINGUALISM IN INTERNATIONAL SCHOOLS A MODEL FOR ENRICHING LANGUA
2007 年出版207 页ISBN：1853599415
Getting started in 3D with Maya create a project from start to finish--model
texture2222 年出版0 页ISBN：
GREEN PROCESSING 2004 2ND INTERNATIONAL CONFERENCE ON THE SUSTAINABLE PROCESSING OF MINERALS
2004 年出版253 页ISBN：1920806105
