Lecture Notes in Computer Science 4169 Parameterized and Exact Computation Second International Work
IWPEC 20062006 年出版279 页ISBN：3540390987
Lecture Notes in Computer Science 4317 Distributed Computing and Internet Technology Third Internati
ICDCIT 20062006 年出版466 页ISBN：9783540683797
Lecture Notes in Computer Science 3222 Network and Parallel Computing IFIP International Conference
NPC 20042004 年出版694 页ISBN：3540233881
Lecture Notes in Computer Science 4208 High Performance Computing and Communications Second Internat
HPCC 20062006 年出版938 页ISBN：3540393684
Lecture Notes in Computer Science 4738 Affective Computing and Intelligent Interaction Second Intern
ACII 20072007 年出版781 页ISBN：9783540748885
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
COMPUTERS:INSIDE AND OUT FOURTH EDITION
KURT F.LAUCKNER MILDRED D.LINTNER1988 年出版493 页ISBN：
