FESTKORPER PROBLEME XIII ADVANCES IN SOLID STATE PHYSICS
H.J.Queisser1973 年出版396 页ISBN:
Automation ENCYCLOPEDIA A to Z in Advanced Manufacturing
Glenn A.Graham1988 年出版597 页ISBN:
ADVANCES IN THE STUDY OF BEHAVIOR VOLUME 1
DANIEL S. LEHRMAN ROBERT A. HINDE EVELYN SHAW2222 年出版320 页ISBN:
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 4671 Parallel Computing Technologies 9th International Conference
PaCT 20072007 年出版635 页ISBN:9783540739395
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319