This book is an introduction to data structures and algorithms for functional programming languag...

Today's large language models excel at pattern recall yet falter on long-range planning, self-cri...

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

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in c...

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

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

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

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

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

This book describes how to think about computer programs, and how to use mathematics as part of t...

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

This book introduces the concept of Event Mining for building explanatory models from analyses of...