This text focuses on finite problems and emphasizes concrete models of machines and programming styles. Using problems defined over infinite domains and abstract machine models as models, emphasis is given to concrete problems of the kind found in algorithms textbooks, as well as machine models related to current technology. The book integrates the theme of parallelism throughout the book (for example, circuits are presented as parallel machines) and studies the exchanges between space, time and other resources on a variety of machine models.