Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN：9783540731467
Lecture Notes in Computer Science 3795 Grid and Cooperative Computing-GCC 2005 4th International Con
2005 年出版1203 页ISBN：3540305106
Lecture Notes in Computer Science 4277 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work
2006 年出版1009 页ISBN：3540482695
Lecture Notes in Computer Science 3135 Transactions on Rough Sets II Rough Sets and Fuzzy Sets
2004 年出版363 页ISBN：3540239901
GEOMETRIC MEASURE THEORY AND THE CALCULUS OF VARIATIONS VOLUME 44 PROCEEDINGS OF SYMPOSIA IN PURE MA
1986 年出版464 页ISBN：0821814702
Lecture Notes in Control and Information Sciences 355 Control and Estimation of Systems with Input/O
2007 年出版213 页ISBN：9783540711186
Lecture Notes in Computer Science 4278 On the Move to Meaningful Internet Systems 2006:OTM 2006 Work
2006 年出版2013 页ISBN：3540482733
Lecture Notes in Artificial Intelligence 2938 Agent-Based Hybrid Intelligent Systems An Agent-Based
2004 年出版196 页ISBN：3540209085
Lecture Notes in Computer Science 4294 Service-Oriented Computing-ICSOC 2006 4th International Confe
2006 年出版656 页ISBN：9783540681472
