Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3314 Computational and Information Science First International Sym
CIS 20042004 年出版1259 页ISBN:3540241272
Lecture Notes in Computer Science 4485 Scale Space and Variational Methods in Computer Vision First
SSVM 20072007 年出版931 页ISBN:9783540728221
Lecture Notes in Computer Science 4454 Tests and Proofs First International Conference
TAP 20072007 年出版217 页ISBN:9783540737698
Lecture Notes in Computer Science Bioinformatics 4689 Life System Modeling and Simulation Internatio
LSMS 20072007 年出版561 页ISBN:9783540747703
Lecture Notes in Computer Science 4802 Advances in Conceptual Modeling-Foundations and Applications
FP-UMLQoIS 年出版0 页ISBN:SeCoGIS