Chapter 7 He that Hath an Ill-Name Is Half-Hanged: The Anatomical Legacy of the Criminal Corpse Staging Post-Execution Punishment in Early Modern England by T. Hurren, Elizabeth

OAPEN Library: download the publication
OAPEN Library: description of the publication

Theater as Data Computational Journeys into Theater Research by Escobar Varela, Miguel

OAPEN Library: download the publication
OAPEN Library: description of the publication

MUAY AEROBIK BERBASIS TARI NUSANTARA SEBAGAI DESAIN PENDIDIKAN MULTIKULTURAL by Noviyanti Maulani, -

Link Metadata

TARI RONGGENG IBING DALAM UPACARA HAJAT BUMI DI KECAMATAN LAKBOK KABUPATEN CIAMIS by Nalendra, Lingga Kinanty Krish

Link Metadata

Chapter 7 He that Hath an Ill-Name Is Half-Hanged: The Anatomical Legacy of the Criminal Corpse Staging Post-Execution Punishment in Early Modern England by T. Hurren, Elizabeth

DOAB: download the publication
DOAB: description of the publication

Northern Sparks Innovation, Technology Policy, and the Arts in Canada from Expo 67 to the Internet Age by Century, Michael

DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

TARI KARNATANDING KARYA YAYAN SHOFIYAN DI SANGGAR GALAKSINONGNONG ART by Linda Anggiana, -

Link Metadata

TARI PADA KESENIAN CARULUNG DI KAMPUNG CIKOPAK KABUPATEN PURWAKARTA by Ayu Syifa Nurjaman, -

Link Metadata

NILAI DAN PERAN SOSIAL TARI ANAK PADA UPACARA PERNIKAHAN ADAT MELAYU JAMEE DI KABUPATEN SIMEULUE ACEH by Citra Dewi Maysarah, -

Link Metadata

TARI TOPENG ROWANA DI SANGGAR ADININGRUM DESA SLANGIT KECAMATAN KLANGENAN KABUPATEN CIREBON by RIZKI ROSMANA, -

Link Metadata

TARI SEKAR ARUM KARYA RD TJETJE SOMANTRI DI SANGGAR PUSBITARI BANDUNG by Annisa Nurkhadijah, -

Link Metadata

PENGKAJIAN TARI TOPENG MENAK JINGGA by Abdul Ajis Jatnika, -

Link Metadata

PERTUNJUKAN KESENIAN EBEG GRUP MUGI BUDOYO DI DESA KARANG JAMBU KECAMATAN CIPARI KABUPATEN CILACAP by Listiana Nuraeni, -

Link Metadata

TARI JEMBAR AGUNG PADA SANGGAR SENI KLAPA JAJAR KOTA MADYA CIREBON by Rt. Riana Sofia Yasmin, -

Link Metadata

PENGARUH PROGRAM ZUMBA TERHADAP PENURUNAN TINGKAT STRES MAHASISWA by Veronica, Tree Shinta

Link Metadata

KAJIAN ETNOKOREOLOGI TARI KEDIDI DI DESA MENDO KECAMATAN MENDO BARAT KABUPATEN BANGKA by Fadhilla, Sardha

Link Metadata

TARI CUKIN DI KABUPATEN TANGERANG by Siti Hajar, -

Link Metadata

TARI NARANTIKA RARANGGANIS DI PAGUYUBAN SENI TARI KLASIK SUNDA GALIH PA KUAN KOTA BANDUNG by Mira Agniati, -

Link Metadata

TARIAN KRUMPING DI MOU DANCE COMPANY by Ratu Moja Kachita, -

Link Metadata