Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
DUDEN DAS GROBE W?RTERBUCH DER DEUTSCHEN SPRACHE IN SECHS D?NDEN
HERAUSGEGEBEN UND BEARBEITET VOM WISSENSCHAFTLICHEN RAT UND DEN MITARBEITERN DER DUDENREDAKTION UNTER LEITUNG VON G?NTHER DROSDOWSKI BAND 3:G-KAL1977 年出版1408 页ISBN：
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN：1681732596
Lecture Notes in Computer Science 340 Advances in Petri Nets 1988
1988 年出版439 页ISBN：3540505806
Computer Algebra in Scientific Computing CASC 2001
2001 年出版556 页ISBN：3540423559
Advances in Computer Programming Management Volume 1
1980 年出版238 页ISBN：0855016035
Lecture Notes in Computer Science 3425 Engineering Human Computer Interaction and Interactive System
2005 年出版400 页ISBN：3540260978
