Hinter der brüchigen, blauen Fassade des alten Palais, in seinen Nebengebäuden, die malerisch übe...

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...

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

With recent advances in natural language understanding techniques and far-field microphone arrays...

Parallelism is the key to achieving high performance in computing. However, writing efficient and...

Das kunstvolle Arrangieren von geschnittenen Blumen hat eine lange Tradition in Japan. Schon im 6...