Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 1586 Parallel and Distributed Processing 11th IPPS/SPDP'99 Worksho
1999 年出版1443 页ISBN：3540658319
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
THE ART OF COMPUTER PROGRAMMING VOLUME 1：FUNDAMENTAL ALGORITHMS （THIRD EDITION）
[美]DONALD E.KNUTH著2008 年出版650 页ISBN：
THE ART OF COMPUTER PROGRAMMING VOLUME 2：SEMINUMERICAL ALGORITHMS （THIRD EDITION）
[美]DONALD E.KNUTH著2008 年出版762 页ISBN：
An introduction to the analysis of algorithms = 算法分析导论 (英文版)
Robert Sedgewick ; Philippe Flajolet2006 年出版492 页ISBN：7111186060
本书介绍算法的数学分析主要技术。
A Guide to Structured Cobol with Efficiency Techniques and Special Algorithms
1980 年出版259 页ISBN：0442245858
