Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
Lecture Notes in Computer Science 3199 Software and Compilers for Embedded Systems 8th International
SCOPES 20042004 年出版259 页ISBN:3540230351
Lecture Notes in Computer Science 2958 Languages and Compilers for Parallel Computing 16th Internati
LCPC 20032004 年出版556 页ISBN:3540211993
Lecture Notes in Computer Science 4116 Security and Cryptography for Networks 5th International Conf
SCN 20062006 年出版364 页ISBN:3540380809
Lecture Notes in Computer Science 2481 Languages and Compilers for Parallel Computing 15th Workshop
LCPC 20022005 年出版376 页ISBN:3540307818
ESSENTIALS OF STATISTICS FOR THE BEHAVIORAL SCIENCES SECOND EDITION
FREDERICK J.GRAVETTER LARRY B.WALLNAU1995 年出版431 页ISBN:0314040706
Handbook of research on inventive digital tools for collection management and development in modern
S.Thanuskodi2015 年出版424 页ISBN:1466681781