Mit seinem glatten, roten Gesicht, das Lichtstrahlen in alle Himmelsrichtung aussandte, war der große Vorsitzende Mao Zedong zwischen 1949 und den frühen 1980er-Jahren auf Propaganda-Plakaten der Volksrepublik China allgegenwärtig. Mao als stoischer Superheld (wahlweise auch als Großer Lehrer, Großer Führer, Oberster Kommandant) wurde in allen möglichen Situationen abgebildet: beim Inspizieren von Fabriken, mit Feldarbeitern eine Zigarette rauchend, in Bademantel am Ufer des Yangtse, am Bug eines Schiffs stehend oder über einem roten Fahnenmeer schwebend. Flankiert war er dabei stets von kräftigen, gesunden, alterslosen Männern und maskulin wirkenden Frauen sowie Kindern in sackartiger, geschlechtslos-trister Kleidung. Ziel der Plakate war es, dem chinesischen Volk moralisch korrektes Verhalten zu demonstrieren und aufzuzeigen, wie großartig die Zukunft für das kommunistische China sein werde, wenn alle gemeinsam denselben Weg in Richtung Utopia beschritten. Dieser Band präsentiert eine Auswahl der bunten und inzwischen teilweise extrem raren Propaganda-Kunstwerke und weiterer kultureller Artefakte aus Max Gottschalks umfangreicher Sammlung.
INSTANT NEW YORK TIMES BESTSELLER! The absurdly outrageous, sarcastically satiric, and always entertaining New York Times bestselling author Christopher Moore returns in finest madcap form with this zany noir set on the mean streets of post-World War II San Francisco, and featuring a diverse cast of characters, including a hapless bartender; his Chinese sidekick; a doll with sharp angles and dangerous curves; a tight-lipped Air Force general; a wisecracking waif; Petey, a black mamba; and many more. San Francisco. Summer, 1947. A dame walks into a saloon . . . It´s not every afternoon that an enigmatic, comely blonde named Stilton (like the cheese) walks into the scruffy gin joint where Sammy ´´Two Toes´´ Tiffin tends bar. It´s love at first sight, but before Sammy can make his move, an Air Force general named Remy arrives with some urgent business. ´Cause when you need something done, Sammy is the guy to go to; he´s got the connections on the street. Meanwhile, a suspicious flying object has been spotted up the Pacific coast in Washington State near Mount Rainer, followed by a mysterious plane crash in a distant patch of desert in New Mexico that goes by the name Roswell. But the real weirdness is happening on the streets of the City by the Bay. When one of Sammy´s schemes goes south and the Cheese mysteriously vanishes, Sammy is forced to contend with his own dark secrets-and more than a few strange goings on-if he wants to find his girl. Think Raymond Chandler meets Damon Runyon with more than a dash of Bugs Bunny and the Looney Tunes All Stars. It´s all very, very Noir. It´s all very, very Christopher Moore.
**Longlisted for the National Book Award for Fiction 2018** ?Haunting ... poetic ... Full of sorrow and aching sweetness? Washington Post Gun Love is a hypnotic story of family, community and violence. Told from the perspective of a sharp-eyed teenager, it exposes America?s love affair with firearms and its painful consequences. ?My mother called anyone or anything that seemed alone, or ended up in the wrong place, a stray. There were stray people, stray dogs, stray bullets, and stray butterflies.? Fourteen-year-old Pearl France lives in the front seat of a broken down car and her mother Margot lives in the back. Together they survive on a diet of powdered milk and bug spray, love songs and stolen cigarettes. Life on the edge of a Florida trailer park is strange enough, but when Pastor Rex?s ?Guns for God? programme brings Eli Redmond to town Pearl?s world is upended. Eli pays regular visits to Margot in the back seat, forcing Pearl to find a world beyond the car. Margot is given a gift by Eli, a gun of her own, just like he?s given her flowers. It sits under the driver?s seat, a dark presence? ?One of those rare books that the reader might wish to be a few dozen pages longer, to spend more time in this fully realised world ? Observer
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, relational string analysis, vulnerability detection using string analysis, string abstractions, differential string analysis, and automated sanitization synthesis using string analysis. String manipulation is a crucial part of modern software systems; for example, it is used extensively in input validation and sanitization and in dynamic code and query generation. The goal of string-analysis techniques and this book is to determine the set of values that string expressions can take during program execution. String analysis can be used to solve many problems in modern software systems that relate to string manipulation, such as: (1) Identifying security vulnerabilities by checking if a security sensitive function can receive an input string that contains an exploit; (2) Identifying possible behaviors of a program by identifying possible values for dynamically generated code; (3) Identifying html generation errors by computing the html code generated by web applications; (4) Identifying the set of queries that are sent to back-end database by analyzing the code that generates the SQL queries; (5) Patching input validation and sanitization functions by automatically synthesizing repairs illustrated in this book. Like many other program-analysis problems, it is not possible to solve the string analysis problem precisely (i.e., it is not possible to precisely determine the set of string values that can reach a program point). However, one can compute over- or under-approximations of possible string values. If the approximations are precise enough, they can enable developers to demonstrate existence or absence of bugs in string manipulating code. String analysis has been an active research area in the last decade, resulting in a wide variety of string-analysis techniques. This book will primarily target researchers and professionals working in computer security, software verification, formal methods, software engineering and program analysis. Advanced level students or instructors teaching or studying courses in computer security, software verification or program analysis will find this book useful as a secondary text.