3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

HMS Dreadnought (1906) is closely associated with the age of empire, the Anglo-German antagonism ...

HMS Dreadnought (1906) is closely associated with the age of empire, the Anglo-German antagonism ...

While the COVID-19 pandemic overshadowed all else and would quickly have a lasting impact on our ...

Britain's empire was sustained by shipping. These studies are concerned with a range of enterpris...

Buried Treasure is a light-hearted look at some of the most feared men and women who sailed the s...

This book is a facsimile reprint and may contain imperfections such as marks, notations, marginal...

HMS Dreadnought (1906) is closely associated with the age of empire, the Anglo-German antagonism ...

Habitats of the Basileia brings together some of the current and important work in biblical studi...

Reprint of the original, first published in 1840.