Volume 36,
Number 1,
March 2005
Book Reviews
- William I. Gasarch:
Review of "Proofs that Really Count: The Art of Combinatorial Proof by Arthur T. Benjamin and Jennifer J. Quinn"; MAA, 2003.
12-14
- Mats Kindahl:
Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002.
15-20
- Lawrence S. Moss:
Joint review of "Introduction To Natural Computation by Dana H. Ballard"; MIT Press, 1997, ISBN 0-262-52258-6 and "Mathematical Methods in Artificial Intelligence by Edward A. Bender", IEEE Press, 1996 ISBN 0-8186-7200-5.
21-24
Complexity theory
- Scott Aaronson:
Guest Column: NP-complete problems and physical reality.
30-52
Distributed computing
- Michel Reynal:
A short introduction to failure detectors for asynchronous distributed systems.
53-70
Online algorithms
Logic
Volume 36,
Number 2,
June 2005
Book reviews
- William I. Gasarch:
The book review column.
3-4
- William I. Gasarch:
Review of "Cryptological Mathematics by Robert Lewand"; MAA, 2000, $33.95, Softcover.
4-7
- Nikolaos Papanikolaou:
Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover.
8-13
- Jonathan Katz:
Comparative book review: Cryptography: An Introduction by V. V. Yaschenko (American Mathematical Society, 2002); Cryptanalysis of Number Theoretic Ciphers by S.S. Wagstaff, Jr. (Chapman & Hall/CRC Press, 2003); RSA and Public-Key Cryptography by R. A. Mollin (Chapman & Hall/CRC Press, 2003); Foundations of Cryptography, vol. 1: Basic Tools by O. Goldreich, (Cambridge University Press, 2001).
14-19
Complexity theory
- Subhash Khot:
Guest column: inapproximability results via Long Code based PCPs.
25-42
Algorithms
Distributed computing
Online algorithms
Logic
- Riccardo Pucella:
Logical verification and equational verification.
77-88
- Ulisses Ferreira:
The sets of real and complex numbers are denumerable.
126-130
- Y. C. Tay:
What should computer science students learn from mathematics?
131-143
Volume 36,
Number 3,
September 2005
Book reviews
- William I. Gasarch:
The book review column.
4-5
- Nikolaos Papanikolaou:
Review of "Classical and Quantum Computing with C++ and Java Simulations, by Yorick Hardy and Willi-Hans Steeb", Birkhauser Verlag, 2001.
5-9
- E. Jonathan Chapin:
Review of "Integer Programming, by Laurence A. Wolsey", Wiley and Sons 1998.
10-12
- Georg Essl:
Review of "Computational Line Geometry, by H. Pottmann and J. Wallner", Springer Verlag, 2001.
13-17
- Riccardo Pucella:
Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994.
17-19
- James Glenn:
Review of "Teaching Statistics Using Baseball, by Jim Albert", MAA, 2003.
19-21
Technical report column
Complexity theory
Database
Distributed computing
Logic
Online algorithms
Organizer's column
- Rocky Ross:
Education forum: trying again with MathML.
82-84
Textbook information
Volume 36,
Number 4,
December 2005
Book review
- William I. Gasarch:
The book review column.
4-5
- Maulik A. Dave:
Review of "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002.
5-8
- Raymond Wan:
Review of "Genomic Perl From Bioinformatics Basics to Working Code by Rex A. Dwyer", Cambridge University Press 2003, 0-521-80177-X.
9-12
- William Fahle:
Review of "Graphs, Networks, and Algorithms (second edition) by Dieter Jungnickel", Springer-Verlag 2005.
12-14
- Wenzhong Zhao:
Review of "Immunocomputing: Principles and Applications by Alexander O. Tarakanov, Victor A. Skormin, Svetlana P. Sokolova", Springer-Verlag New York, Inc. 2003.
14-17
- Frédéric Loulergue:
Review of "Term Rewriting Systems by Terese", Cambridge University Press 2003, 0-521-39115-6.
17-20
Technical columns
Education forum
Copyright © Sat Nov 28 22:33:37 2009
by Michael Ley (ley@uni-trier.de)
