Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
数字视听资料分析及检验技术 ＝ DIGITAL AUDIO-VISUAL DATA ANALYSIS AND TESTING TECHNOLOGY
刘琦著2015 年出版328 页ISBN：7511885497
视听资料数字化检验与分析技术在打击刑事犯罪中具有重要作用，修改后的《刑事诉讼法》中视听资料和电子数据作为独立证据得到了明确，本书顺应新形势下司法审判与侦查取证工作的需要，深入阐述数字音频资料的检测...
Computer Aided and Integrated Manafacturing Systems Volume 4:Computer Aided Design/Computer Aided Ma
2003 年出版302 页ISBN：9812389806
Lecture Notes in Computer Science 2965 Performance Tools and Applications to Networked Systems Revis
2004 年出版384 页ISBN：3540219455
Lecture Notes in Computer Science 3379 From Integrated Publication and Information Systems to Virtua
2005 年出版320 页ISBN：3540245510
MODERN DYNAMICAL SYSTEMS AND APPLICATIONS Dedicated to Anatole Katok on his 60th Birthday
2004 年出版458 页ISBN：0521840732
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
ADVANCES IN REASONING-BASED IMAGE PROCESSING INTELLIGENT SYSTEMS CONVENTIONAL AND INTELLIGENT PARADI
ROUMEN KOUNTCHEV AND KAZUMI NAKAMATSU（EDS.）2012 年出版454 页ISBN：9783642246920
