VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN:9780521113601
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Mathematics for Electrical Engineering and Computing
2003 年出版550 页ISBN:075065855X
HIGH PERFORMANCE COMPUTING-HIPC 2001
BURKHARD MONIEN,VIKTOR K.PRASANNA,SRIRAM VAJAPEYAM2001 年出版440 页ISBN:3540430091
SECURITY MANAGEMENT IN MOBILE CLOUD COMPUTING
KASHIF MUNIR2017 年出版247 页ISBN:9781522506027