Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN:9780521118156
Lecture Notes in Computer Science 4662 Human-Computer Interaction-INTERACT 2007
2007 年出版637 页ISBN:9783540747949
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 4671 Parallel Computing Technologies 9th International Conference
PaCT 20072007 年出版635 页ISBN:9783540739395
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586