Research developments in computer vision and image processing methodologies and applications
1958- editor of compilation2014 年出版0 页ISBN:
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
Lecture Notes in Computer Science 3985 Reconfigurable Computing:Architectures and Applications Secon
ARC 20062006 年出版469 页ISBN:354036708X
Lecture Notes in Computer Science 268 Constrained Global Optimization:Algorithms and Applications
P.M.Pardalos1987 年出版143 页ISBN:
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951