There are significant financial and legal implications for ensuring design correctness and safety...

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Tim...

This book describes the development and use of supercomputers in the period 1960-1996, a time tha...

Software obfuscation is used in cryptography to transform source code to make it unintelligible w...

This is a comprehensive history of computer graphics in Hollywood cinema. As the first such work ...

Today's Internet of Things (IoT) devices are bulky, expensive, require battery maintenance, and i...

This book is based on the author's experience of 30 years of teaching programming at the Universi...

Biomedical systems-such as pacemakers and automated insulin pumps-are Cyber-Physical Systems (CPS...

This book presents 'the digital age' as a central theme, covering digital transformation, social ...

This book explores the profound legacy of Alan Turing, and how his five great ideas have been dev...

This text is about compositional programming, where programs are constructed by composing prewrit...

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on wh...