NEW ADVANCES IN DISTRIBUTED COMPUTER SYSTEMS
KENNETH G.BEAUCHAMP2222 年出版415 页ISBN:9027713685
COMPUTER STSTEM IN BUSINESS AN INTRODUCTION
JAMES B.PICK1985 年出版690 页ISBN:0534064981
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319