LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN:3540527346;0387527346
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN:354022145X
Lecture Notes in Computer Science 3277 Job Scheduling Strategies for Parallel Processing 10th Intrna
JSSPP 20042005 年出版317 页ISBN:3540253300
Lecture Notes in Computer Science 4471 Interactive TV:A Shared Experience 5th European Conference
EuroITV 20072007 年出版236 页ISBN:9783540725589
Lecture Notes in Computer Science 3892 DNA Computing 11th International Workshop on DNA Computers
DNA112006 年出版440 页ISBN:3540341617