Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4382 Languages and Compilers for Parallel Computing 19th Internati
LCPC 20062007 年出版366 页ISBN:9783540725206
Lecture Notes in Computer Science 2017 Languages and Compilers for Parallel Computing 13th Internati
LCPC 20002001 年出版381 页ISBN:3540428623
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN:9783540756637
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
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