Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
CONFERENCE RECORD OF THE 11TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING 1979
2222 年出版367 页ISBN:0897910036
MATHEMATICS OF SHAPE DESCRIPTION A Morphological Approach to Image Processing and Computer Graphics
2008 年出版254 页ISBN:9780470823071
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN:354030276X