Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
Lecture Notes in Physics 264:Tenth International Conference on Nomerical Methods in Fluid Dynamics
1986 年出版724 页ISBN:354017172X
ELEVATED TEMPERATURE COATINGS:Science and Technology I
1995 年出版425 页ISBN:0873392892