Lecture Notes in Computer Science 3091 Rewriting Techniques and Applications 15th International Conf
RTA 20042004 年出版311 页ISBN：3540221530
Lecture Notes in Computer Science 2378 Rewriting Techniques and Applications 13th International Conf
RTA 20022002 年出版385 页ISBN：3540439161
Lecture Notes in Computer Science 2051 Rewriting Techniques and Applications 12th International Conf
RTA 20012001 年出版361 页ISBN：3540421173
Lecture Notes in Computer Science 4783 Implementation and Application of Automata 12th International
CIAA 20072007 年出版324 页ISBN：9783540763352
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Lecture Notes in Computer Science 4098 Term Rewriting and Applications 17th International Conference
RTA 20062006 年出版414 页ISBN：3540368345
COMPUTATIONAL GEOMETRY ALGORITHMS AND APPLICATIONS THIRD EDITION
MARK DE BERG OTFRIED CHEONG MARC VAN KREVELD MARK OVERMARS2008 年出版387 页ISBN：7510061776
本书是一部代数几何教程，旨在研究算法。书中的内容实用性很强，涉及的领域有鲁棒、图论、CAD/CAM,和几何信息系统。这些计算几何的现代观点在解决实际问题的时候效率更高，更加易于理解，也更易于操作。目次：计算几...
Two-Dimensional Information Theory and Coding With Application to Graphics and High-Density Storage
2010 年出版171 页ISBN：9780521888608
Graphs and Order The Role of Graphs in the Theory of Ordered Sets and Its Applications
1985 年出版796 页ISBN：9027719438
