Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4122 Multimodal Technologies for Perception of Humans First Intern
Activities and Relationships2007 年出版360 页ISBN：
MULTI-COMPUTER ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE
1987 年出版358 页ISBN：0471849790
Artificial Intelligence for Advanced Problem Solving Techniques
Dimitris Vrakas2008 年出版370 页ISBN：
Lecture Notes in Computer Science 3402 High Performance Computing for Computational Science-VECPAR 2
2005 年出版732 页ISBN：3540254242
Lecture Notes in Computer Science 4395 High Performance Computing for Computational Science-VECPAR 2
2007 年出版721 页ISBN：9783540713500
PROGRESS IN ARTIFICIAL INTELLIGENCE
LUC STEELS AND J.A.CAMPBELL2222 年出版320 页ISBN：
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
