Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN：
Lecture Notes in Computer Science 3865 Computer Supported Cooperative Work in Design II 9th Internat
CSCWD 2005 Coventry2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2254 Engineering for Human-Computer Interaction 8th IFIP Internati
EHCI 20012001 年出版359 页ISBN：354043044X
Lecture Notes in Computer Science 3168 Computer Supported Cooperative Work in Design I 8th Internati
CSCWD 2004 Xiamen2222 年出版0 页ISBN：
FOUNDATIONS OF ELECTRODYNAMICS
S.R.DE GROOT AND L.G.SUTTORP2222 年出版535 页ISBN：0444103708
