Covers the proceedings of the talks from the Fifth Annual Meeting on DNA Based Computers held at MIT. This book contains articles that include discussions on the formula satisfiability problem, self-assembly and nanomachines, simulation and design of molecular systems, and theoretical approaches.