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
READY NOTES FOR USE WITH PHYSICAL GEOLOGY EIGHTH EDITION
2222 年出版242 页ISBN:0072340207
COMPUTATIONAL DISCRETE MATHEMATICS COMBINATORICS AND GRAPH THEORY WITH MATHEMATICA
2222 年出版480 页ISBN:0521806860
EYEWITNESS TESTIMONY WITH A NEW PREFACE BY THE AUTHOR
1996 年出版253 页ISBN:0674287770
Computers and Data Processing:Introduction with BASIC Third Edition
1983 年出版522 页ISBN:0471098345
Springer Handbook of Nanotechnology With 972 Figures and 71 Tables
2222 年出版1227 页ISBN:3540012184
STRUCTURED FORTRAN WITH WATFIV TEXT AND REFERENCE ALTERNATE EDITION
1981 年出版567 页ISBN:0835971031