Lecture Notes in Computer Science 1063 Artificial Evolution European Conference
AE 95 Brest2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN:3540255761
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
Lecture Notes in Computer Science 3463 Dependable Computing-EDCC-5
2005 年出版472 页ISBN:3540257233