In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a num

This book introduces all the technical features that make up blockchain technology today. It starts with a thorough explanation of all technological concepts ne

This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advance

This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It is a coll

This book is one of the first technical overviews of autonomous vehicles written for a general computing and engineering audience. The authors share their pract