Hakutulokset: Hakutulos
yhteensä 9 hakutulosta
Blockchain Platforms
This book introduces all the technical features that make up blockchain technology today. It starts with a thorough explanation of all technological concepts necessary to …
Introduction to Logic, Third Edition
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 advanced secondary school …
Science Fiction Prototyping
Science fiction is the playground of the imagination. If you are interested in science or fascinated with the future then science fiction is where you explore new ideas and let …
Automated Verification of Concurrent Search Structures
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. …
Storing Clocked Programs Inside DNA
In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually …
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments
After a short introduction on the history of programming languages, this book provides step-by-step examples that are mirrored in seven programming languages, including C#, C++, …
Creating Autonomous Vehicle Systems, Second Edition
This book is one of the first technical overviews of autonomous vehicles written for a general computing and engineering audience. The authors share their practical experiences …
Analytical Performance Modeling for Computer Systems, Third Edition
This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers …
Principles of Blockchain Systems
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 collaborative work …