Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
From Additive Manufacturing to 3D/4D Printing 1 From Concepts to Achievements
Jean-Claude Andre2017 年出版284 页ISBN:1786301192