The book review column
暂无分享,去创建一个
5. Term Rewriting Systems by Terese. Reviewed by Frederic Loulergue. This book came out of a seminar held by the authors in Amsterdamn from 1988 to 2000. The author listed, Terese, actually stands for Term Rewriting Seminar. A rewriting system is a step-wise transformation of objects. Since all of computer science can be viewed this way (at least abstractly) this field is fundamental to computer science. The book is intended for both beginners and experts. Many results appear here for the first time.
[1] Éric Filiol. Computer Viruses: from Theory to Applications , 2005 .
[2] Sebastian Xambo-Descamps. Block Error-Correcting Codes: A Computational Primer , 2003 .
[3] L. Washington. Elliptic Curves: Number Theory and Cryptography , 2003 .
[4] Andrea Toselli,et al. Domain decomposition methods : algorithms and theory , 2005 .