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

Erstverkaufstag: 29.06.2027

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