Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN:3540514864
Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design
System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN:9783540727255
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
Lecture Notes in Computer Science 3422 From Computer Literacy to Informatics FundamentalsInternation
ISSEP 20052005 年出版203 页ISBN:354025336X
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