Handbook of Model Checking

Model checking is a computer-assisted method fo...

Perspectives of Systems Informatics

This book contains thoroughly refereed and revi...

Handbook of Model Checking

Model checking is a computer-assisted method fo...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed p...

TIS THE SEASON TO BE JOLLY - Christmas Carols & Poems

This unique collection of Christmas carols, poe...

Model Checking, second edition

An expanded and updated edition of a comprehens...

Agricultural Science Book 2: A course for secondary schools in the Caribbean

Cultivate an interest in the agricultural secto...

Agricultural Science Book 1: A course for secondary schools in the Caribbean

Cultivate an interest in the agricultural secto...

The Greatest Christmas Carols & Poems

The Greatest Christmas Carols & Poems encapsula...

The Most Beloved Carols & Poems for Christmas Time

Lectures On The Public Life And Character Of Oliver Cromwell (1847)

This scarce antiquarian book is a facsimile rep...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed p...