Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
Trusted Computing: Principles and Applications Volume 2
Shijun Zhao2017 年出版0 页ISBN：
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN：
COMPUTERS IN YOUR FUTURE 4 FOURTH EDITION
BRYAN PFAFFENBERGER2002 年出版650 页ISBN：
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
Computational systems bioinformatics : CSB2007 Conference proceedings
volume 62007 年出版454 页ISBN：1860948723
CURRENT TOPICS IN COMPUTATIONAL MOLECULAR BIOLOGY
TAO JIANG YING XU MICHAEL Q.ZHANG2222 年出版0 页ISBN：
COMPUTER NETWORKS:A TUTORIAL FOURTH EDITION
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1984 年出版497 页ISBN：
Numerical Methods of Mathematical Optimization With ALGOL and FORTRAN Programs
1971 年出版220 页ISBN：0124288502
