This volume constitutes the proceedings of the 14th International Conference on Theorem Proving i...

This book is a pioneering social and economic study of a London suburban parish in the seventeent...

More than ever, organisations are facing a data avalanche from various sources, be they in electr...

GStreamer is an extremely powerful and versatile framework for creating streaming media applicati...

By compiling an experimental method combining both dialectic and rhetoric, 'Dialectic, Rhetoric a...

More than ever organisations are facing a data avalanche from various data sources, be it in elec...