Lecture Notes in Computer Science 4362 SOFSEM 2007:Theory and Practice of Computer Science 33nd Conf
2007 年出版937 页ISBN：9783540695066
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 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 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
Lecture Notes in Computer Science 3193 Computer Security-ESORICS 2004 9th European Symposium on Rese
2004 年出版457 页ISBN：3540229876
