Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN:3540429492
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
ENGINEERING DESIGN A SYNTHESIS OF STRESS ANALYSIS AND MATERIALS ENGINEERING SECOND EDITION
JOSEPH H.FAUPEL,PH.D. FRANKLIN E.FISHER,PH.D.2222 年出版1056 页ISBN:
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN:354030276X