Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN：3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN：9783540732297
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Proceedings of the 15th International Parallel and Distributed Processing Symposium : San Francisco
International Parallel and Distributed Processing Symposium2001 年出版214 页ISBN：0769509908
LECTURE NOTES IN MATHEMATICS 1215: LECTURES IN PROBABILITY AND STATISTICS
1986 年出版491 页ISBN：3540168222;0387168222
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
Lecture Notes in Control and lnformation Sciences
T.KACZOREK2222 年出版398 页ISBN：3540150862
Wavelet Applications in Signal and Image Processing VII
2000 年出版575 页ISBN：0819437646
APPLICATIONS AND ALGORITHMS IN SCIENCE AND ENGINEERING
1978 年出版179 页ISBN：0574211888
