Template Matching Techniques in Computer Vision Theory and Practice
2009 年出版338 页ISBN：9780470517062
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN：
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 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf
2004 年出版385 页ISBN：3540207791
Lecture Notes in Computer Science 3831 SOFSEM 2006:Theory and Practice of Computer Science 32nd Conf
2006 年出版576 页ISBN：354031198X
Lecture Notes in Computer Science 3381 SOFSEM 2005:Theory and Practice of Computer Science 31st Conf
2005 年出版428 页ISBN：354024302X
Computer science and multiple-valued logic theory and applications
1977 年出版548 页ISBN：0444110566
GRAPH THEORY WITH APPLICATIONS TO ALGORITHMS AND COMPUTER SCIENCE
Y.ALAVI，G.CHARTRAND，L.LESNIAK，D.R.LICK，C.E.WALL2222 年出版810 页ISBN：0471816353
COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC THEORY AND APPLICATIONS
DAVID C.RINE2222 年出版640 页ISBN：0444868828
