DIMACS Series In Discrete Mathematics and Theoretical Computer Science Volume 72 Data Depth:Robust M
Computational Geometry and Applications2006 年出版0 页ISBN:
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
SERIES IN COMPUTER SCIENCE-VOL.5 VISUALIZING ABSTRACT BOJECTS AND RELATIONS A CONSTRAINT-BASED APPRO
1989 年出版162 页ISBN:9810200099
WILEY ENCYCLOPEDIA OF COMPUTER SCIENCE AND ENGINEERING VOLUME 1
2009 年出版746 页ISBN:9780471383932
What Can Be Automated? The Computer Science and Engineering Research Study
Bruce W.Arden1980 年出版934 页ISBN:
Advanced Techniques in Framework:Programming in FRED
1985 年出版320 页ISBN:0895882469