Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...

The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th Internation...

The 2008 IEEE World Congress on Computational Intelligence (WCCI 2008), held during June 1-6, 200...

The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th Internation...

This book will enable practicing physicians and trainees to learn, in a clinically relevant and i...

China: Insight into History, Culture, and People illuminates a nation whose history and tradition...

Innovative transportation technologies will be a vital component of any future sustainable societ...

This book will enable practicing physicians and trainees to learn, in a clinically relevant and i...

The book 'Advanced wearable sensing in clinical practice towards healthcare 5.0' provides an over...

Erstverkaufstag: 29.06.2027

How the West and China each invented distinctive political institutions to empower governments wh...