Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
Group Technology production methods in manufacture
1986 年出版190 页ISBN:0470202947
Image Processing:Mathematical Methods and Applications
1997 年出版516 页ISBN:0198511973
METHODS OF CONTEMPORARY MATHEMATICAL STATISTICAL PHYSICS
2009 年出版350 页ISBN:9783540927952