Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The Judith Files II
Judith clerked for the Tennessee Court of Appeals, practiced for ten years, and then was named to a judgeship with a domestic relations docket. The problems began almost immediately, with her home being shot up. And then things got worse.
Handbook of Latin American Studies, Vol. 76
The newest volume of the benchmark bibliography of Latin American studies.
Formal Methods
None
Actor-Network Dramaturgies
This book provides key critical tools to significantly broaden the readers’ perception of theatre and performance history: in line with posthuman thought, each chapter engages Actor-Network Theory and similar theories to reveal a comprehensive range of human and non-human agents whose collaborations impact theatre productions but are often overlooked. The volume also greatly expands the information available in English on the networks created by several Argentine artists. Through a transnational, transatlantic perspective, case studies refer to the lives, theatre companies, staged productions, and visual artworks of a number of artists who left Buenos Aires during the 1960s due to a mix of...
Violated Frames
When Armando Bó and Isabel Sarli began making sexploitation films together in 1956, they provoked audiences by featuring explicit nudity that would increasingly become more audacious, constantly challenging contemporary norms. Their Argentine films developed a large and international fan base. Analyzing the couple's films and their subsequent censorship, Violated Frames develops a new, roughly constructed, and "bad" archive of relocated materials to debate questions of performance, authorship, stardom, sexuality, and circulation. Victoria Ruétalo situates Bó and Sarli’s films amidst the popular culture and sexual norms in post-1955 Argentina, and explores these films through the lens of bodies engaged in labor and leisure in a context of growing censorship. Under Perón, manual labor produced an affect that fixed a specific type of body to the populist movement of Peronism: a type of body that was young, lower-classed, and highly gendered. The excesses of leisure in exhibition, enjoyment, and ecstasy in Bó and Sarli's films interrupted the already fragmented film narratives of the day and created alternative sexual possibilities.
Computer Aided Verification
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
