HANDBOOK OF DEPOSITION TECHNOLOGIES FOR FILMS AND COATINGS Science
Technology and Applications Second Edition1994 年出版861 页ISBN：0815513372
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Computer science and multiple-valued logic theory and applications
1977 年出版548 页ISBN：0444110566
Handbook of Magnetism and Advanced Magnetic Materials Volume 3:Novel Techniques for Characterizing a
Helmut Kronmuller2007 年出版1857 页ISBN：
COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC THEORY AND APPLICATIONS
DAVID C.RINE2222 年出版640 页ISBN：0444868828
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN：9783540731467
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Randomization and Approximation Techniques in Computer Science
2222 年出版277 页ISBN：3540441476
