2 | -- | 3 | William I. Gasarch. The book review column |
3 | -- | 5 | Hassan Masum. Review of Data Structures and Algorithms in Java (2nd ed): ::::Michael T Goodrich and Roberto Tamassia:::: |
5 | -- | 8 | Timothy H. McNicholl. A review of Selected Papers on Analysis of Algorithms: by Donald E. Knuth |
8 | -- | 12 | Hassan Masum. Review of How to Solve It: Modern Heuristics: ::::Zbigniew Michalewicz and David B Fogel:::: |
12 | -- | 16 | Riccardo Pucella. Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte |
17 | -- | 18 | Joel I. Seiferas. Reprints from computing reviews |
32 | -- | 0 | Sergio Rajsbaum. ACM SIGACT news distributed computing column 2 |
32 | -- | 36 | Lisa Higham. Report on DISC 00 |
36 | -- | 52 | Cyril Gavoille. Routing in distributed networks: overview and open problems |
56 | -- | 59 | Rocky Ross. Education forum |
60 | -- | 65 | John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Introduction to automata theory, languages, and computation, 2nd edition |
66 | -- | 69 | David Harel, Dexter Kozen, Jerzy Tiuryn. Dynamic logic |
70 | -- | 73 | Michael Mitzenmacher. Challenging students with creative assignments |
111 | -- | 114 | Steven S. Seiden. Can a computer proof be elegant? |
115 | -- | 117 | Vladik Kreinovich. Itanium s new basic operation of fused multiply-add: theoretical explanation and theoretical challenge |