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 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 Computer Science 4294 Service-Oriented Computing-ICSOC 2006 4th International Confe
2006 年出版656 页ISBN：9783540681472
Lecture Notes in Control and Information Sciences 351 LMI Approach to Analysis and Control of Takagi
2007 年出版204 页ISBN：9783540495529
Lecture Notes in Computer Science 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf
2004 年出版385 页ISBN：3540207791
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Proceedings of SPIE-The International Society for Optical Engineering Volume 721 Fiber Optics in Adv
1987 年出版132 页ISBN：0892527560
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN：3540288694
