Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN：
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
COMPUTER NETWORKS:A TUTORIAL FOURTH EDITION
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1984 年出版497 页ISBN：
PHILIP K.JASON ALLAN B.LEFCOWITZ2222 年出版419 页ISBN：0131912712
GUDRUN GRABHER ROLAND HAGENBUCHLE CRISTANNE MILLER1998 年出版480 页ISBN：1558491694
CHRISTINE A.HULT THOMAS N.HUICKIN1999 年出版870 页ISBN：0205297110
LEE ELLIS KEVIN BEAVER JOHN WRIGHT2009 年出版252 页ISBN：0123736123
Research handbook on transparency
Padideh Alai and Robert G. Vaughn2014 年出版418 页ISBN：9781781007938
