Where Mathematics，Computer Science，Linguistics and Biology Meet
2222 年出版446 页ISBN：079236693X
COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC THEORY AND APPLICATIONS
DAVID C.RINE2222 年出版640 页ISBN：0444868828
Leture Notes in Computer Science 8 GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen Braunsc
20.-22.3.19741974 年出版340 页ISBN：3540066772
WILEY ENCYCLOPEDIA OF COMPUTER SCIENCE AND ENGINEERING VOLUME 1
2009 年出版746 页ISBN：9780471383932
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
LECTURE NOTES IN MATHEMATICS 1552: LIE SEMIGROUPS AND THEIR APPLICATIONS
1993 年出版316 页ISBN：3540569545;0387569545
LECTURE NOTES IN MATHEMATICS 1168: HADAMARD MATRICES AND THEIR APPLICATIONS
1985 年出版227 页ISBN：3540160566;0387160566
LECTURE NOTES IN MATHEMATICS 1329: ORTHOGONAL POLYNOMIALS AND THEIR APPLICATIONS
1988 年出版334 页ISBN：3540194894;0387194894
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
