Lecture Notes in Bioinformatics 3240 Algorithms in Bioinformatics 4th International Workshop
WABI 20042004 年出版476 页ISBN：3540230181
Lecture Notes in Bioinformatics 4175 Algorithms in Bioinformatics 6th International Workshop
WABI 20062006 年出版402 页ISBN：3540395830
Research Methods in Human-Computer Interaction
Jonathan Lazar2017 年出版534 页ISBN：
formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
ANALYTICAL AND COMPUTER METHODS IN FOUNDATION ENGINEERING
JOSEPH E.BOWLES2222 年出版519 页ISBN：0070067538
Lecture Notes in Physics:Modern Aspects of Spin Physics
2007 年出版130 页ISBN：3540385908
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
