Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 4214 Quality of Software Architectures and Software Quality Second
QoSA 20062006 年出版213 页ISBN：9783540488194
Lecture Notes in Computer Science 4863 Algorithms and Models for the Web-Graph 5th International Wor
WAW 20072007 年出版217 页ISBN：9783540770039
Lecture Notes in Computer Science 3712 Quality of Software Architectures and Software Quality First
QoSA 2005 and Second International Workshop on Software Quality2005 年出版288 页ISBN：
Proceedings IEEE Conference on Computer Vision and Pattern Recognition CVPR 2000 Volume 2
2000 年出版804 页ISBN：0769506623
Proceedings IEEE Conference on Computer Vision and Pattern Recognition CVPR 2000 Volume 1
2000 年出版846 页ISBN：0769506623
