Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 226 Automata
Languages and Programming 13th International Colloquium1986 年出版473 页ISBN：3540167617
Lecture Notes in Computer Science 623 Automata
Languages and Programming 19th International Colloquium1992 年出版719 页ISBN：3540557199
Lecture Notes in Computer Science 317 Automata
Languages and Programming 15th International Colloquium1988 年出版741 页ISBN：3540194886
Lecture Notes in Computer Science 3624 Approximation
Randomization and Combinatorial Cptimization Algorithms and Techniques2005 年出版494 页ISBN：3540282394
Lecture Notes in Computer Science 4110 Approximation
Randomization and Combinatorial Optimization Algorithms and Techniques2006 年出版522 页ISBN：3540380442
MATHEMATICAL STRUCTURES FOR COMPUTER SCIENCE SECOND EDITION
JUDITH L.GERSTING1982 年出版618 页ISBN：0716718022
COMPUTER APPLICATIONS IN PLASMA SCIENCE AND ENGINEERING
ADAM T.DROBOT2222 年出版457 页ISBN：0387974555
