The war was changing everything and everyone …When Jan is seven, Nazis attack and take over Holland. At first, not much changes. Soon, though, war starts taking things away: important things like neighbours and friends, trust and respect, even clothing, fuel, and food. Through it all, Jan is still a boy, finding ways to play with friends and paddle his sailing canoe in the canals. But he must also filch food and help protect his father's "guests" from the enemy.The...

When Jan de Groot decided to purchase Raven, a 140-foot gaff-rigged ketch, in order to provide sailing adventures for underprivileged children in British Columbia, he had no idea of the bizarre adventure that lay ahead. Built in 1920 as a sailing cargo vessel, Raven was converted to a pleasure yacht in the late 1960s. She should have been the perfect vessel for the job Jan envisaged - and might have been, were it not for the ghost that haunted her. After the ship was launc...

In "The Religion of The Chinese", scholarly book published in 1910, Jan Jakob Maria de Groot details the history, rituals, and beliefs of the major traditional religions of China: universal animism, polydemonism, specters, ancestral worship, Confucianism, Taoism, and Buddhism. He thought that one spiritual essence could be detected beneath a great variety of religious, philosophical, and even political expressions in China, and his lifework was the discovery and exposition of that essence....

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.

Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the...

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

This volume focuses on research and practical issues connected with mortars on historic structures.The book is divided into four sections: Characterisation of Historic Mortars, Repair Mortars and Design Issues, Experimental Research into Properties of Repair Mortars, and Assessment and Testing. The papers present the latest work of researchers in their field. The individual contributions were selected from the contributions to the 2nd Historic Mortars Conference, which took place i...

Persisting unemployment, poverty and social exclusion, labour market flexibility, job insecurity and higher wage inequality, changing patterns of work and family life are among the factors that exert pressure on welfare states in Europe. This book explores the potential of an unconditional basic income, without means test or work requirement, to meet the challenges posed by the new social question, compared to policies of subsidized insertion in work. It also assesses the political chances...

Titanic. Just the name evokes tales of the doomed ship that have captivated people of all ages for more than 100 years.Early readers will enjoy this exciting account of the world's most famous disaster-at-sea and the discovery of it's remains many years later.Step 4 books are perfect for independent readers who are confident with simple sentences and are just starting to tackle paragraphs.

The #1 bestselling chapter book series of all time celebrates 25 years with new covers and a new, easy-to-use numbering system! Getting the facts behind the fiction has never looked better. Track the facts with Jack and Annie!!When Jack and Annie got back from their adventure in Magic Tree House Merlin Mission #11: Dark Day in the Deep Sea, they had lots of questions. How big is a giant squid? What is a dragonfish? How do deep-sea creatures find food when it’s so dark down...

Wills' Mineral Processing Technology: An Introduction to the Practical Aspects of Ore Treatment and Mineral Recovery has been the definitive reference for the mineral processing industry for over thirty years. This industry standard reference provides practicing engineers and students of mineral processing, metallurgy, and mining with practical information on all the common techniques used in modern processing installations. Each chapter is dedicated to a major processing procedure—from un...

For thousands of years, people have claimed to have spotted mermaids in the waves and on the rocks. Some were beautiful with long flowing hair and lovely voices. But other mermaids liked to drag people down to their watery homes and eat them! If you thought mermaids were just pretty ladies with scaly tails, think again. There is more to these mythical creatures than meets the eye!