登入選單
Google圖書搜尋
Access control models
作者
Gerald J. Popek
出版1973
ISBN
OCLC:227533707
The LOCUS Distributed System Architecture
作者
Gerald J. Popek
出版MIT Press, 2003-01-01
ISBN
9780262517195 / 0262517191
主題
Computers
Conductor: Distributed Adaptation for Heterogeneou...
作者
Mark D. Yarvis / Peter Reiher / Gerald J. Popek
出版Springer Science & Business Media, 2012-12-06
ISBN
9781461510918 / 1461510910
主題
Computers
A model for verification of data security in opera...
作者
Gerald J. Popek / David A. Farber
出版1978
ISBN
OCLC:630788922
Disseminating Security Updates at Internet Scale
作者
Jun Li / Peter Reiher / Gerald J. Popek
出版Springer Science & Business Media, 2012-12-06
ISBN
9781461510215 / 146151021X
主題
Computers
A Locking Protocol for Resource Coordination in Di...
作者
Daniel A. Menasce / Gerald J. Popek / Richard R. Muntz
出版1977
ISBN
OCLC:255255937
Report on the programming language Euclid
作者
B. W. Lampson / Xerox Corporation. Palo Alto Research Center / J. J. Horning / R. L. London / James G. Mitchell / Gerald J. Popek
出版1981
ISBN
OCLC:254832392
主題
Automatic theorem proving
Automated Hoarding for Mobile Computers
作者
Geoffrey H. Huenning / Gerald J. Popek
出版2000
ISBN
OCLC:848667321
An Algebraic Model for the Specification and Verif...
作者
Gerald Leitner / G. J. Popek
出版1982
ISBN
OCLC:71472381
主題
Computer networks
Conductor: Distributed Adaptation for Heterogeneou...
作者
Mark D. Yarvis / Peter Reiher / Gerald J. Popek
出版Springer Science & Business Media, 2012-12-06
ISBN
9781461510918 / 1461510910
主題
Computers
Disseminating Security Updates at Internet Scale
作者
Jun Li / Peter Reiher / Gerald J. Popek
出版Springer Science & Business Media, 2012-12-06
ISBN
9781461510215 / 146151021X
主題
Computers
Audit and evaluation of computer security
作者
Anthony J. Barbera / Frank Heinrich / Gerald D. Cole / Jason Gait
出版1977
ISBN
MSU:31293011746090
主題
Computer networks
Computer Networking for Systems Programmers
作者
Gerald D. Cole
出版1990-09-26
ISBN
UOM:39015022256112
主題
Computers