Lecture Notes in Computer Science 3160 Mobile Human-Computer Interaction-MobileHCI 2004 6th Internat
MobileHCI 20042004 年出版541 页ISBN：3540230866
Lecture Notes in Artificial Intelligence 4724 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20072007 年出版914 页ISBN：9783540752554
Lecture Notes in Artificial Intelligence 2143 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20012001 年出版818 页ISBN：3540424644
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
Lecture Notes in Computer Science 4340 Grid Computing Expriment Management
Tool Integration2007 年出版318 页ISBN：
Lecture Notes in Computer Science 4153 Advances in Machine Vision
Image Processing2006 年出版0 页ISBN：
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Computer Science 4794 Ambient Intelligence European Conference
Aml 20072007 年出版375 页ISBN：9783540766513
