COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN：0471311987
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
Lecture Notes in Computer Science 3649:Business Porcess Management
Wil M.P.van der Aalst2005 年出版0 页ISBN：
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
