Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Decentralized A.I.Proceedings of the first European Workshop on Modelling Autonomous Agents in a Mul
ELSEVIER SCIENCE PUBLISHING COMPANY1990 年出版0 页ISBN：
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
REPORT OF THE EXPERT WORKSHOP ON GREENHOUSE GAS EMISSIONS STRATEGIES AND METHODS IN SEAFOOD
2012 年出版117 页ISBN：9251073511
A.P.I.C.Studies in Data Processing No.19 Introduction to the Graphical Kernel System (GKS)
1983 年出版200 页ISBN：0123555701
The Rhetorical Patterns Found in Chinese EFL Student Writers'Examination Essays in English and the I
张文霞著2004 年出版285 页ISBN：7302084416
本书是英语语言测试领域一本不可多得的实证研究性专著。本书主要探讨了中国学生在英语写作测试中所运用的语篇特点以及这些特点对不同文化背景的阅卷员（中国大学英语教师和母语为英语的资格阅卷员）产生的不同...
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Artificial Intelligence 4002 Finite-State Methods and Natural Language Processing 5
FSMNLP 20052006 年出版312 页ISBN：9783540354673
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
