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
ARTIFICIAL INTELLIGENCE AND INFORMATION-CONTROL SYSTEMS OF ROBOTS-87
IVAN PLANDER2222 年出版499 页ISBN：0444703039
HYDROLOGIC AND HYDRAULIC MODELING SUPPORT WITH GEOGRAPHIC INFORMATION SYSTEMS
DR.DAVID MAIDMENT AND DR.DEAN DJOKIC2000 年出版218 页ISBN：1879102803
ARTIFICIAL INTELLIGENCE AND INFORMATION-CONTROL SYSTEMS OF ROBOTS-89
IVAN PLANDER2222 年出版452 页ISBN：0444883177
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN：3540223428
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
Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN：3540291067
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
