LEADER 03571nam 2200613 450 001 9910464518603321 005 20211006010740.0 010 $a1-4081-4770-X 010 $a1-4081-4769-6 035 $a(CKB)3710000000113868 035 $a(EBL)1692246 035 $a(SSID)ssj0001193644 035 $a(PQKBManifestationID)11696062 035 $a(PQKBTitleCode)TC0001193644 035 $a(PQKBWorkID)11145975 035 $a(PQKB)11474616 035 $a(MiAaPQ)EBC1692246 035 $a(Au-PeEL)EBL1692246 035 $a(CaPaEBR)ebr10873518 035 $a(OCoLC)880531074 035 $a(MiAaPQ)EBC6163098 035 $a(EXLCZ)993710000000113868 100 $a20140528h20072007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAt the sharp end $euncovering the work of five contemporary dramatists /$fPeter Billingham 210 1$aLondon, England ;$aNew York, New York :$cBloomsbury Methuen Drama,$d2007. 210 4$d©2007 215 $a1 online resource (273 p.) 225 1 $aPlays and Playwrights 300 $aDescription based upon print version of record. 311 $a0-7136-8507-7 320 $aIncludes bibliographical references. 327 $aCover; CONTENTS; ACKNOWLEDGEMENTS; 1 POINTING AT SHARP ENDS - AN INTRODUCTION; Sharpening Up: Reading and Using At the Sharp End; 1956: Look Back in Nostalgia?; 2006: Looking Forward - in Expectation?; Revisiting My Route; Time Zones; 2 DAVID EDGAR; Interview with David Edgar; Speaking in Tongues - Politics, Race and Cultural Identity in the Plays of David Edgar; 3 DAVID GREIG; Interview with David Greig; Inhabitants of the Tide Mark: Towards a New Political Poetics in the Plays of David Greig; 4 MARK RAVENHILL; Interview with Mark Ravenhill 327 $a'We all need stories so that we can get by' - Sex, Shopping and Postmodern Politics in the Plays of Mark Ravenhill5 TIM ETCHELLS AND FORCED ENTERTAINMENT; Interview with Tim Etchells of Forced Entertainment; Falling and Floating in Sheffield - Drunks, Dancers and Late-night Bus Rides: Themes and Strategies in the Work of Tim Etchells and Forced Entertainment; 6 TANIKA GUPTA; Interview with Tanika Gupta; Navigating a Journey Through a Fragile Land - Themes in the Plays of Tanika Gupta; CONCLUSION: SHARPENING POINTS; A Short List of Recommended Further Reading and Indicative Websites 330 $aWhat value does theatre have in Britain at the beginning of the twenty-first century? How has theatre responded to the challenge of remaining relevant in the media-saturated world of today? These are the questions that underpin this stimulating study of some of the leading dramatists of contemporary British theatre. At the Sharp End sets the scene examining how the forces that created a revolution in theatre fifty years ago have been replaced by a new wave of political and social issues. It goes on to explore the ways in which five key writers have sought to reflect and wrestle with the changi 410 0$aPlays and Playwrights 606 $aEnglish drama$y20th century$xHistory and criticism 606 $aDramatists, English$y20th century$vInterviews 608 $aElectronic books. 615 0$aEnglish drama$xHistory and criticism. 615 0$aDramatists, English 676 $a822.91409 700 $aBillingham$b Peter$f1953-$0983317 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910464518603321 996 $aAt the sharp end$92244723 997 $aUNINA LEADER 01403nam a2200325 i 4500 001 991001996859707536 005 20020508184750.0 008 010514s1988 it 00| 0 ita d 020 $a8821516229 035 $ab10944047-39ule_inst 035 $aPARLA152623$9ExL 040 $aDip.to Filosofia$bita 082 0 $a306.46 100 1 $aLaín Entralgo, Pedro$0192805 245 10$aAntropologia medica /$cPedro Laín Entralgo ; introduzione di Sandro Spinsanti ; postfazione di José A. Mainetti 260 $aCinisello Balsamo :$bEdizioni Paoline,$c1988 300 $a444 p. ;$c21 cm 490 0 $aEtica professionale e sociale ;$v6 500 $aTad. di Silvia Roberti Aliotta, Sandro Spinsanti 500 $aTit. orig.: Antropología médica 650 4$aCorpo umano$xFilosofia 650 4$aMedicina$xAspetti socio-culturali 907 $a.b10944047$b23-02-17$c28-06-02 912 $a991001996859707536 945 $aLE024 M IG IV 21$g1$i2024000016357$lle021$nex DUSS$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11622052$z01-07-02 945 $aLE005IF XV G 12$g1$iLE005IFA-3742$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11051164$z28-06-02 945 $aLE022 MP 65 L 25$g1$i2022000033442$lle022$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13956838$z07-12-04 996 $aAntropologia medica$9919412 997 $aUNISALENTO 998 $ale005$ale022$ale021$b01-01-01$cm$da $e-$fita$git $h0$i3 LEADER 01430nam a22002891i 4500 001 991002872909707536 005 20040430134109.0 008 040624s1996 it a||||||||||||||||eng 020 $a8886712162 035 $ab12990772-39ule_inst 035 $aARCHE-094845$9ExL 040 $aDip.to Beni Culturali$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 111 2 $aInternational congress of prehistoric and protohistoric sciences$n<13. ;$d1996 ;$cForlì>$0487606 245 10$aPaleoecology /$cedited by Lanfredo Castelletti, Mauro Cremaschi 260 $aForli :$bABACO,$cc1996 300 $a188 p. :$bill. ;$c24 cm 440 4$aThe colloquia of the 13. International congress of prehistoric and protohistoric sciences ;$v3 500 $aContiene: Colloquium 5.: Numerical analysis and image processing in archaeobotany; Colloquium 6.: micromorphology of deposits of anthropogenic origin 500 $aIn testa al front.: International union of prehistoric and protohistoric sciences 700 1 $aCastelletti, Lanfredo 710 2 $aUnione internazionale delle scienze preistoriche e protostoriche 907 $a.b12990772$b02-04-14$c12-07-04 912 $a991002872909707536 945 $aLE001 AN XXI 573b$g1$i2001000077229$lle001$nV. 3. - C. 1$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13595829$z12-07-04 996 $aPaleoecology$9284809 997 $aUNISALENTO 998 $ale001$b12-07-04$cm$da $e-$feng$git $h0$i1 LEADER 04764nam 22008055 450 001 9910484667803321 005 20251226203519.0 010 $a1-280-38541-3 010 $a9786613563330 010 $a3-642-11319-2 024 7 $a10.1007/978-3-642-11319-2 035 $a(CKB)2670000000003403 035 $a(SSID)ssj0000355650 035 $a(PQKBManifestationID)11249124 035 $a(PQKBTitleCode)TC0000355650 035 $a(PQKBWorkID)10340829 035 $a(PQKB)10411257 035 $a(DE-He213)978-3-642-11319-2 035 $a(MiAaPQ)EBC3064942 035 $a(PPN)149054866 035 $a(Association for Computing Machinery)10.5555/2127753 035 $a(EXLCZ)992670000000003403 100 $a20100301d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVerification, Model Checking, and Abstract Interpretation $e11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /$fedited by Gilles Barthe, Manuel Hermenegildo 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 397 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5944 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-11318-4 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5944 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aAlgorithms 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aAlgorithms. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 676 $a005.1 701 $aBarthe$b Gilles$f1967-$0180568 701 $aHermenegildo$b Manuel$0971279 712 12$aVMCAI 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484667803321 996 $aVerification, model checking, and abstract interpretation$94200350 997 $aUNINA