Titlebook: Architecture Design and Validation Methods; Egon B?rger Book 2000 Springer-Verlag Berlin Heidelberg 2000 Design of computer architectures.

客觀

Symbolic Computation and Complexity Theory Transcript of My Talkd at the Tenth Asian Symposium on Computer Mathematics (ASCM) in Beijing, China, on October 26, 2012 on the complexity theoretic hardness of many problems that the discipline of symbolic computation tackles.