日本科技厅及其政策的形成和演变＝HISTORY OF SCIENCE AND TECHNOLOGY AGENCY
（日）武安义光等著2018 年出版0 页ISBN：
Data Integration in the Life Sciences 4th International Workshop
DILS 20072007 年出版282 页ISBN：
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN：0471311987
Computer science illuminated = 计算机科学概论（英文版·第5版）
Nell B. Dale ; John Lewis2015 年出版668 页ISBN：7111448136
Pascalgorithms A Pascal-Based Introduction To Computer Science
1989 年出版802 页ISBN：039535739X
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Design Science Research Methods and Patterns Innovating Information and Communication Technology
2008 年出版226 页ISBN：1420059327
CRC Handbook of Laser Science and Technology Volume III Optical Materials
2222 年出版466 页ISBN：0849335035
