The Imperial Japanese Navy's Special Landing Force units enjoyed a reputation out of proportion to their small size.Often wrongly termed “Imperial Marines”, they were in fact sailors led by Naval officers, and traced their origins directly to landing parties from warships. This book charts their history, from their true combat debut was at Shanghai in 1932; thereafter the SNLF expanded and fought in the assaults that followed Pearl Harbor in 1941, and were disperse...

The Imperial Japanese Navy's Special Landing Force units enjoyed a reputation out of proportion to their small size.Often wrongly termed “Imperial Marines”, they were in fact sailors led by Naval officers, and traced their origins directly to landing parties from warships. This book charts their history, from their true combat debut was at Shanghai in 1932; thereafter the SNLF expanded and fought in the assaults that followed Pearl Harbor in 1941, and were disperse...

A compilation, featuring more than three hours of some of the greatest short stories of all time, brought to life by distinguished stage and screen actors.Roger Angell and A. Bartlett Giamatti’s "Play by Play"John Updike’s "Hub Fans Bid Kid Adieu" read by Jack Davidson - Ted Williams' miraculous Fenway farewell.Rolfe Humphries’ "Polo Grounds" read by Fritz WeaverRobert Francis’ "Pitcher" and "Base Stealer" read by Arthur FrenchRobert Fi...

The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic p- vides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers signi?cant advantages since zero power dissip...

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for st...

An alternative history of the US space programme, dramatised by Dirk Maggs.After the moon, Mars… What if John F. Kennedy survived the assassination attempt and developed the space programme?President Nixon, with the help of former president JFK, has just green-lit NASA’s first manned expedition to Mars. Aboard the expedition is Natalie York, a geologist who risks everything she loves for the chance to go to space; Phil Stone, former X-15 test pilot; and Ralph Gershon, a Vie...

The B-24 Liberator was built in greater numbers than any other US warplane, yet its combat crews live, even today, in the shadow of the less plentiful, but better-known, B-17. This is their fully-illustrated history.Accounts of the 'Mighty Eighth' in Europe, and indeed many of the books and films that emerged from the greatest air campaign in history, often overlook the B-24, even though it was in action for as long as the Flying Fortress, and participated in just ...

This book is an essential guide to understanding how managers in China and Southeast Asia make effective economic decisions. In today’s competitive global economy, it’s vital to grasp how the most dynamic part of Asia is employing accounting tools in actual practice. The carefully crafted empirical studies presented here demonstrate the application of management accounting concepts in a variety of economic scenarios. Overall, these comparative investigations describe theory and common prac...

Ever present in the Pacific from Pearl Harbor to VJ-Day, the B-24 Liberator proved to be the staple heavy bomber of the campaign.From its ignominious beginnings in the Allied rout in the Philippines and the Dutch East Indies, this illustrated volume explores how the bomber weathered the Japanese storm with a handful of bomb groups, which played a crucial role in checking the enemy's progress firstly in New Guinea, and then actively participating in the 'island hopp...

The sterling work of the Fifteenth Air Force is often overshadowed by the glamorous 'Mighty Eighth', yet the men flying the B-24 fought ceaselessly right through to VE Day.The B-24 was heavily utilised in the North African and Mediterranean theatres by the USAAF's Fifteenth Air Force, with operations over the Ploesti oilfields in Rumania being some of the most famous missions undertaken by the big American 'heavy' in World War 2.This is the third of five ti...

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties suc...

Few works are as timely and critical to the advancement of high performance computing than is this new up-to-date treatise on leading-edge directions of operating systems. It is a first-hand product of many of the leaders in this rapidly evolving field and possibly the most comprehensive.This new and important book masterfully presents the major alternative concepts driving the future of operating system design for high performance computing. In particular, it describes the major a...