In light of research over the last decade on new ways of representing and performing computations, this book provides a timely reexamination of computer organiz

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

The main intention of this book is to give an impression of the state-of-the-art in system-level memory management (data transfer and storage) related issues fo

This textbook bridges the gap between business management and organisational methods and their digital implementation, because process management increasingly m