Volume XVII, 2007 Approximation for Batching via Priorities, pages 1-18 Authors: W. Bein, J. Noga and J. Wiegley Abstract | References | BibTeX | Full Text (PDF) Instruction Sequences with Indirect Jumps, pages 19-46 Authors: J. A. Bergstra and C. A. Middelburg Abstract | References | BibTeX | Full Text (PDF) Programming an Interpreter Using Molecular Dynamics, pages 47-81 Authors: J. A. Bergstra and C. A. Middelburg Abstract | References | BibTeX | Full Text (PDF) Basic Techniques for Creating an Efficient CSP Solver, pages 83-112 Authors: C. Frăsinaru Abstract | References | BibTeX | Full Text (PDF) Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems, pages 113-145 Authors: P. C. Vinh Abstract | References | BibTeX | Full Text (PDF)