Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN:3540514864
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
Lecture Notes in Computer Science 3422 From Computer Literacy to Informatics FundamentalsInternation
ISSEP 20052005 年出版203 页ISBN:354025336X
Lecture Notes in Computer Science 2095 Computer Vision Systems Second International Workshop
ICVS 2001 Vancouver2222 年出版0 页ISBN:
2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Volume 2
2001 年出版807 页ISBN:0769512720
Lecture Notes in Computer Science 3585 Human-Computer Interaction-INTERACT 2005
2005 年出版1158 页ISBN:3540289437
Lecture Notes in Computer Science 4663 Human-Computer Interaction-INTERACT 2007
2007 年出版735 页ISBN:9783540747994
Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN:9780521118156