Lecture Notes in Computer Science 3272 Ubiquitous Mobile Information and Collaboration Systems Secon
UMICS 20042004 年出版197 页ISBN：3540241000
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Computer Science 4159 Ubiquitous Intelligence and Computing Third International Con
UIC 20062006 年出版1190 页ISBN：3540380914
Lecture Notes in Computer Science 3179 Articulated Motion and Deformable Objects Third International
AMDO 20042004 年出版270 页ISBN：3540229582
Lecture Notes in Computer Science 4672 Network and Parallel Computing IFIP International Conference
NPC 20072007 年出版558 页ISBN：9783540747833
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Computer Science 3162 Parameterized and Exact Computation First International Works
IWPEC 20042004 年出版293 页ISBN：3540230718
Lecture Notes in Computer Science 3777 Stochastic Algorithms:Foundations and Applications Third Inte
SAGA 20052005 年出版239 页ISBN：3540294988
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
Lecture Notes in Computer Science 3059 Experimental and Efficient Algorithms Third International Wor
WEA 20042004 年出版586 页ISBN：3540220674
