Author: Peter Foerthmann
Publisher:
ISBN: 9783347724792
Category :
Languages : en
Pages : 0
Book Description
In the Service of Aeolus
Author: Peter Foerthmann
Publisher:
ISBN: 9783347724792
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9783347724792
Category :
Languages : en
Pages : 0
Book Description
Naval General Service Medal Roll 1793-1840
Author: Kenneth Douglas-Morris
Publisher: Andrews UK Limited
ISBN: 1781505012
Category : History
Languages : en
Pages : 447
Book Description
Captain Douglas Morris's classic Medal Roll. Recipients are listed by bar entitlement, then alphabetically. This book is a fine tribute to a great researcher whose tenacity and precision are unequalled in the field of naval medal research.
Publisher: Andrews UK Limited
ISBN: 1781505012
Category : History
Languages : en
Pages : 447
Book Description
Captain Douglas Morris's classic Medal Roll. Recipients are listed by bar entitlement, then alphabetically. This book is a fine tribute to a great researcher whose tenacity and precision are unequalled in the field of naval medal research.
Dictionary of American Naval Fighting Ships
Author:
Publisher:
ISBN:
Category : Warships
Languages : en
Pages : 552
Book Description
The dictionary consists of an alphabetical index to over 10,000 ship histories documenting nearly every ship that the US Navy has put to sea. Continental and Confederate vessels are also included. Entries include physical information, commissioning, service record, notable actions, and decommissioning. Drawings, photographs, and documents are also included. The Web site is an electronic version of the previously published dictionary series. Web entries may be corrected and updated from those that appeared in the printed series.
Publisher:
ISBN:
Category : Warships
Languages : en
Pages : 552
Book Description
The dictionary consists of an alphabetical index to over 10,000 ship histories documenting nearly every ship that the US Navy has put to sea. Continental and Confederate vessels are also included. Entries include physical information, commissioning, service record, notable actions, and decommissioning. Drawings, photographs, and documents are also included. The Web site is an electronic version of the previously published dictionary series. Web entries may be corrected and updated from those that appeared in the printed series.
Odyssey: Book X (Classic Reprint)
Author: Homer Homer
Publisher:
ISBN: 9780365854142
Category : Foreign Language Study
Languages : en
Pages : 162
Book Description
Publisher:
ISBN: 9780365854142
Category : Foreign Language Study
Languages : en
Pages : 162
Book Description
The Student's Ovid
Author: Ovid
Publisher: University of Oklahoma Press
ISBN: 9780806132204
Category : Foreign Language Study
Languages : en
Pages : 228
Book Description
Ideally suited to intermediate to advanced college-level students, The Student’s Ovid offers twenty-one selections from the Metamorphoses, with notes to aid translation and interpretation. The introduction includes an essay on Ovid’s life and works, an outline of the structure of the Metamorphoses, and tips on Latin poetic forms and usage. Accompanying each Latin passage is an introduction that provides background on the myths and their literary history, both in Ovid and in other classical authors. The detailed notes on each selection are designed to help students read and understand the Latin for themselves. Other special features of this book include: · a glossary of mythological characters · lists of stories grouped by theme to help teachers design courses to suit their students’ interests · discussions of the basic concepts of classical meter, Latin pronunciation, and accentuation · reference charts on the declension of Greek nouns to aid the reading of proper names · a select bibliography of translations and secondary studies
Publisher: University of Oklahoma Press
ISBN: 9780806132204
Category : Foreign Language Study
Languages : en
Pages : 228
Book Description
Ideally suited to intermediate to advanced college-level students, The Student’s Ovid offers twenty-one selections from the Metamorphoses, with notes to aid translation and interpretation. The introduction includes an essay on Ovid’s life and works, an outline of the structure of the Metamorphoses, and tips on Latin poetic forms and usage. Accompanying each Latin passage is an introduction that provides background on the myths and their literary history, both in Ovid and in other classical authors. The detailed notes on each selection are designed to help students read and understand the Latin for themselves. Other special features of this book include: · a glossary of mythological characters · lists of stories grouped by theme to help teachers design courses to suit their students’ interests · discussions of the basic concepts of classical meter, Latin pronunciation, and accentuation · reference charts on the declension of Greek nouns to aid the reading of proper names · a select bibliography of translations and secondary studies
Merchant Vessels of the United States
Seaboard
Author:
Publisher:
ISBN:
Category : Naval art and science
Languages : en
Pages : 1000
Book Description
Publisher:
ISBN:
Category : Naval art and science
Languages : en
Pages : 1000
Book Description
Theory and Practice of Formal Methods
Author: Erika Ábrahám
Publisher: Springer
ISBN: 3319307347
Category : Computers
Languages : en
Pages : 435
Book Description
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.
Publisher: Springer
ISBN: 3319307347
Category : Computers
Languages : en
Pages : 435
Book Description
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.