You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
As part of a small Australian military group three sisters of immigrant parents participate in secret missions to counteract People’s Republic of China coercion and planned terrorist attacks in the Indo-Pacific. The sisters enjoyed a happy but meagre childhood in a remote West Australian township from where they emerged as the fortuitous beneficiaries of a private school education in South Australia. They displayed exceptional talents in standard and elective subjects. As young adults they excelled in tertiary education and gained degrees in linguistics, admiralty and Pacific constitutional law, pure mathematics, and computer science before coming to the attention of Australian intelligence agencies and the military. They were recruited by the military group for clandestine assignments that ranged from the outer boundaries of the South China Sea to Papua New Guinea and in between. The main parts of the story are about these assignments.
None
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".
Celebrated for her paintings of women in diverse contexts, from Los Angeles hotels to temporary social housing, Caroline Walker navigates subjects including the pay gap, the beauty industry, gender stereotypes, and ageism. Here she presents a body of work depicting the daily life of the artist's mother at the family home in Fife, Scotland.