Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference，
2007 年出版507 页ISBN：9783540744061
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 92 Robin Milner A Calculus of Communicating Systems
1980 年出版171 页ISBN：3540102353
Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference，
2005 年出版578 页ISBN：3540283099
HUMAN-COMPUTER INTERACTION RESEARCH DIRECTIONS IN COGNIVE SCIENCE EUROPEAN PERSPECTIVES VOL.3
2222 年出版217 页ISBN：0863771130
Lecture Notes in Computer Science 51 Matrix Eigensystem Routines-EISPACK Guide Extension
1977 年出版342 页ISBN：3540082549
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
Human-Computer Interaction and Management Information Systems Applications
Dennis Galletta2015 年出版464 页ISBN：
Computer Algorithms Introduction to Design and Analysis Third Edition
Sara Baase2001 年出版688 页ISBN：
