1988 IEEE SYMPOSIUM ON THE ENGLNEERING OF COMPUTER BASED MEDICAL SYSTEMS
1988 年出版174 页ISBN：0818608633
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 3 BALL TO BOX
1976 年出版503 页ISBN：0824722531
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN：
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN：
LOGO AND MODELS OF COMPUTATION AN INTRODUCTION TO COMPUTER SCIENCE
MICHAEL E.BURKE L.ROLAND GENISE2222 年出版420 页ISBN：0201207915
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039
