Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
Advances in Materials Science Research Volume 29
Maryann C.Wythers2017 年出版300 页ISBN:1536117905
ENCYCLOPEDIA OF COMPUTER SCIENCE FIRST EDITION
ANTHONY RALSTON,CHESTER L.MEEK1976 年出版1523 页ISBN:0442803214
1989 ACM SEVENTEENTH ANNUAL COMPUTER SCIENCE CONFERENCE
2222 年出版491 页ISBN:0897912993
1985 ACM THIRTEENTH ANNUAL COMPUTER SCIENCE CONFERENCE
2222 年出版438 页ISBN:0897911504