Computer Simulations in Condensed Matter Systems:From Materials to Chemical Biology Volume 1
2006 年出版713 页ISBN:9783540352709
Computer Simulations in Condensed Matter Systems:From Materials to Chemical Biology Volume 2
2006 年出版599 页ISBN:9783540352839
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN:3540209719
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN:3540075453