Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
LECTURE NOTES IN MATHEMATICS 1257: ON THE C*-ALGEBRAS OF FOLIATIONS IN THE PLANE
1987 年出版172 页ISBN:3540179038;0387179038
Lecture Notes in Physics 264:Tenth International Conference on Nomerical Methods in Fluid Dynamics
1986 年出版724 页ISBN:354017172X
Science and Technology of Electroceramic Thin Films
1995 年出版456 页ISBN:0792333322
ELEVATED TEMPERATURE COATINGS:Science and Technology I
1995 年出版425 页ISBN:0873392892
ELEVATED TEMPERATURE COATINGS:Science and Technology III
1999 年出版424 页ISBN:0873394216