BASIC MUSICIANSHIP:AN INTRODUCTION TO MUSIC FUNDAMENTALS WITH COMPUTER ASSISTANCE
RAYNOLD L.ALLVIN1985 年出版180 页ISBN：0534040594
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN：0387512373
Computer science illuminated = 计算机科学概论（英文版·第5版）
Nell B. Dale ; John Lewis2015 年出版668 页ISBN：7111448136
Pascalgorithms A Pascal-Based Introduction To Computer Science
1989 年出版802 页ISBN：039535739X
Lecture Notes in Computer Science 4419 Reconfigurable Computing:Architectures
Tools and Applications Third International Workahop2007 年出版392 页ISBN：
Lecture Notes in Computer Science 3647 Software Engineering Research
Management and Applications Second International Conference2004 年出版0 页ISBN：
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
