LEADER 03661oam 22006854a 450 001 9910953646203321 005 20240501140925.0 010 $a9781526102249 010 $a1526102242 010 $a9781526102232 010 $a1526102234 024 7 $a10.7765/9781526102232 035 $a(CKB)3710000000529314 035 $a(SSID)ssj0001595982 035 $a(PQKBManifestationID)16296238 035 $a(PQKBTitleCode)TC0001595982 035 $a(PQKBWorkID)14885027 035 $a(PQKB)10166259 035 $a(MiAaPQ)EBC4713677 035 $a(OCoLC)982026469 035 $a(MdBmJHUP)muse59543 035 $a(BIP)041775160 035 $a(DE-B1597)659483 035 $a(DE-B1597)9781526102232 035 $a(Perlego)1526714 035 $a(EXLCZ)993710000000529314 100 $a20170321d2016 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 12$aA most diabolical deed'$eInfanticide and Irish society, 1850?1900 205 $a1st ed. 210 1$a[Place of publication not identified] :$cManchester Univ Press,$d2016. 210 3$aBaltimore, Md. :$cProject MUSE,$d2017 210 4$d©2016. 215 $a1 online resource (305 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780719088209 311 08$a0719088208 320 $aIncludes bibliographical references and index. 327 $a'A most diabolical deed': Infanticide and Irish society, 1850-1900 -- Half Title Page -- Title Page -- Copyright -- Dedication -- Contents -- Figures -- Acknowledgements -- Abbreviations -- Introduction -- 1. 'A melancholy thing':¹ an overview -- 2. 'Dead children, like drowned sailors, tell no tales': coroners' courts -- 3. 'That species of crime':¹ criminal courts -- 4. 'Rumor, with its hundred tongues': the community -- 5. 'News of the ghastly spectacle':¹ the press -- 6. 'A very great escape':¹ prisons -- Conclusion -- Bibliography -- Index. 330 8 $aThis book examines the phenomenon of infanticide in Ireland from 1850 to 1900, examining a sample of 4,645 individual cases of infant murder, attempted infanticide and concealment of birth. Evidence for this study has been gleaned from a variety of sources, including court documents, coroners'records, prison files, parliamentary papers, and newspapers. Through these sources, many of which are rarely used by scholars, attitudes towards the crime, the women accused of the offence, and the victim, are revealed. Although infant murder was a capital offence during this period, none of thewomen found guilty of the crime were executed, suggesting a degree of sympathy and understanding towards the accused. Infanticide cases also allude to complex dynamics and tensions between employers and servants, parents and pregnant daughters, judges and defendants, and prison authorities andinmates. This book highlights much about the lived realities of nineteenth-century Ireland. 606 $aInfanticide$xLaw and legislation$zIreland$xHistory$y19th century 606 $aInfanticide$zIreland$vCase studies 606 $aInfanticide$zIreland$xHistory$y19th century 606 $aSOCIAL SCIENCE / Children's Studies$2bisacsh 615 0$aInfanticide$xLaw and legislation$xHistory 615 0$aInfanticide 615 0$aInfanticide$xHistory 615 7$aSOCIAL SCIENCE / Children's Studies. 676 $a364.1523 700 $aFarrell$b Elaine$01160607 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910953646203321 996 $aA most diabolical deed$94352359 997 $aUNINA LEADER 03539nam 22007335 450 001 9910888050603321 005 20251225185044.0 010 $a3-031-71177-7 024 7 $a10.1007/978-3-031-71177-0 035 $a(CKB)36015163700041 035 $a(DE-He213)978-3-031-71177-0 035 $a(MiAaPQ)EBC31727471 035 $a(Au-PeEL)EBL31727471 035 $a(EXLCZ)9936015163700041 100 $a20240912d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods $e26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part II /$fedited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XXII, 652 p. 193 illus., 170 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14934 311 08$a3-031-71176-9 330 $aThe open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14934 606 $aSoftware engineering 606 $aComputer science 606 $aComputers, Special purpose 606 $aProgramming languages (Electronic computers) 606 $aMicroprogramming 606 $aNatural language processing (Computer science) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aSpecial Purpose and Application-Based Systems 606 $aProgramming Language 606 $aControl Structures and Microprogramming 606 $aNatural Language Processing (NLP) 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 0$aProgramming languages (Electronic computers) 615 0$aMicroprogramming. 615 0$aNatural language processing (Computer science) 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Language. 615 24$aControl Structures and Microprogramming. 615 24$aNatural Language Processing (NLP). 676 $a005.1 702 $aPlatzer$b Andre?$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozier$b Kristin Yvonne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPradella$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRossi$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910888050603321 996 $aFormal methods$92247212 997 $aUNINA