A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

#1 NEW YORK TIMES BESTSELLER • From the author of Killers of the Flower Moon comes a masterpiece of narrative nonfiction that unravels the greatest exploration mystery of the twentieth century—the story of the legendary British explorer who ventured into the Amazon jungle in search of a fabled civilization and never returned. “Suspenseful…rollicking.” —The New York Times In 1925, Percy Fawcett went into the Amazon jungle, in search of a fabled civilization. He never returned. Over the years countless perished trying to find evidence of his party and the place he called “The Lost City of Z.” In this masterpiece, journalist David Grann interweaves the spellbinding stories of Fawcett’s quest for “Z” and his own journey into the deadly jungle. Look for David Grann’s new book, The Wager, coming in April 2023!

In this story set in East Texas, a local seamstress named Chintana finds herself responsible for five orphans who are not only captivated by a storyteller’s tale of vengeance but by the long black box he sets before them. As midnight approaches, the box is opened, a fateful dare is made, and the children as well as Chintana come face to face with the consequences of a malice retold and now foretold.

An optimistic and nuanced portrait of a generation that has much to teach us about how to live and collaborate in our digital world. Born since the mid-1990s, members of Generation Z comprise the first generation never to know the world without the internet, and the most diverse generation yet. As Gen Z starts to emerge into adulthood and enter the workforce, what do we really know about them? And what can we learn from them? Gen Z, Explained is the authoritative portrait of this significant generation. It draws on extensive interviews that display this generation’s candor, surveys that explore their views and attitudes, and a vast database of their astonishingly inventive lexicon to build a comprehensive picture of their values, daily lives, and outlook. Gen Z emerges here as an extraordinarily thoughtful, promising, and perceptive generation that is sounding a warning to their elders about the world around them—a warning of a complexity and depth the “OK Boomer” phenomenon can only suggest. ​ Much of the existing literature about Gen Z has been highly judgmental. In contrast, this book provides a deep and nuanced understanding of a generation facing a future of enormous challenges, from climate change to civil unrest. What’s more, they are facing this future head-on, relying on themselves and their peers to work collaboratively to solve these problems. As Gen Z, Explained shows, this group of young people is as compassionate and imaginative as any that has come before, and understanding the way they tackle problems may enable us to envision new kinds of solutions. This portrait of Gen Z is ultimately an optimistic one, suggesting they have something to teach all of us about how to live and thrive in this digital world.

In The Alphabet from Z to A (With Much Confusion on the Way), Judith Viorst once again applies her clear-sighted wit to a subject of universal appeal, turning the traditional alphabet book on its head by going through the alphabet backwards. Viorst's lively verse irreverently demonstrates that the spellings and sounds of our language are often so maddeningly inconsistent -- "blue" and "blew," "chute" and "shoe" -- that, as her exasperated narrator complains, "It could drive you berserk." Aimed at children who already have some facility with language (and at anyone else who likes to play with words), The Alphabet from Z to A is an entertaining and thought-provoking romp through the quirks and quagmires of the English language. Richard Hull's exquisite drawings enrich the text and offer a playful challenge.

World War Z is the eagerly awaited film starring Brad Pitt. The story revolves around United Nations employee Gerry Lane (Pitt), who traverses the world in a race against time to stop a pandemic that is toppling armies and governments and threatening to annihilate humanity itself. World War Z: The Art of the Film is the official illustrated companion to the movie, and features a wealth of stunning production art, design sketches and storyboards, alongside the full shooting script. (TM) & © 2013 Paramount Pictures. All Rights Reserved.

Complex Analysis and Applications, Second Edition explains complex analysis for students of applied mathematics and engineering. Restructured and completely revised, this textbook first develops the theory of complex analysis, and then examines its geometrical interpretation and application to Dirichlet and Neumann boundary value problems. A discussion of complex analysis now forms the first three chapters of the book, with a description of conformal mapping and its application to boundary value problems for the two-dimensional Laplace equation forming the final two chapters. This new structure enables students to study theory and applications separately, as needed. In order to maintain brevity and clarity, the text limits the application of complex analysis to two-dimensional boundary value problems related to temperature distribution, fluid flow, and electrostatics. In each case, in order to show the relevance of complex analysis, each application is preceded by mathematical background that demonstrates how a real valued potential function and its related complex potential can be derived from the mathematics that describes the physical situation.

In this post-apocalyptic novel from Newbery Medal–winning author Robert C. O’Brien, a teen girl struggling to survive in the wake of unimaginable disaster comes across another survivor. Ann Burden is sixteen years old and completely alone. The world as she once knew it is gone, ravaged by a nuclear war that has taken everyone from her. For the past year, she has lived in a remote valley with no evidence of any other survivors. But the smoke from a distant campfire shatters Ann’s solitude. Someone else is still alive and making his way toward the valley. Who is this man? What does he want? Can he be trusted? Both excited and terrified, Ann soon realizes there may be worse things than being the last person on Earth.

If you’ve ever struggled with depression, take heart. Mindfulness, a simple yet powerful way of paying attention to your most difficult emotions and life experiences, can help you break the cycle of chronic unhappiness once and for all. In The Mindful Way through Depression, four uniquely qualified experts explain why our usual attempts to “think” our way out of a bad mood or just “snap out of it” lead us deeper into the downward spiral. Through insightful lessons drawn from both Eastern meditative traditions and cognitive therapy, they demonstrate how to sidestep the mental habits that lead to despair, including rumination and self-blame, so you can face life’s challenges with greater resilience. This e-book includes an audio program of guided meditations, narrated by Jon Kabat-Zinn, for purchasers to stream or download from the web. See also the authors' Mindful Way Workbook, which provides step-by-step guidance for building your mindfulness practice in 8 weeks. Plus, mental health professionals, see also the authors' bestselling therapy guide: Mindfulness-Based Cognitive Therapy for Depression, Second Edition. Association for Behavioral and Cognitive Therapies (ABCT) Self-Help Book of Merit