Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 3237 Comparative Evaluation of Multilingual Information Access Sys
CLEF 2003 Trondheim2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN：354036014X
INELASTICITY OF MATERIALS An Engineering Approach and a Practical Guide Series on Advances in Mathem
2009 年出版545 页ISBN：9789812837493
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Intelligent computer vision and image processing innovation
editor of compilation2013 年出版0 页ISBN：
materials challenges in alternative and renewable energy ii a collection of papers presented at the
february 26-march 12222 年出版0 页ISBN：
Algorithms for Image Processing and Computer Vision
Incorporated;John Wiley & Sons Australia2010 年出版0 页ISBN：
