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 3667 Spatial Coherence for Visual Motion Analysis First Internatio
SCVMA 20042006 年出版141 页ISBN:3540325336
Applied and Computational Complex Analysis Volume 2 Special Functions-Integral Transforms-Asymptotic
Peter Henrici1977 年出版662 页ISBN: