Computer Integrated Manufacturing Proceedings of The 4th CIM Europe Conference
E.Puente and P.MacConaill1988 年出版422 页ISBN：
Introduction to the Theory of Computation Second Edition
Michael Sipser2006 年出版437 页ISBN：7111173279
本书系统的介绍了计算理论的三个主要内容：自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。...
Lecture Notes in Computer Science 4477 Pattern Recognition and Image Analysis Third Iberian Conferen
IbPRIA 2007 Part I2007 年出版625 页ISBN：9783540728467
Lecture Notes in Computer Science 4478 Pattern Recognition and Image Analysis Third Iberian Conferen
IbPRIA 2007 Part II2007 年出版657 页ISBN：9783540728481
Lecture Notes in Computer Science 4530 Model Driven Architecture-Foundations and Applications Third
ECMDA-FA 20072007 年出版219 页ISBN：9783540729006
Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 4896 E-Voting and Identity First International Conference
VOTE-ID 20072007 年出版189 页ISBN：9783540774921
