LEADER 01215nam 2200361 450 001 9910375779303321 005 20230825105036.0 035 $a(CKB)4100000007598071 035 $a(NjHacI)994100000007598071 035 $a(EXLCZ)994100000007598071 100 $a20230825d2019 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aProceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs /$fedited by Assia Mahboubi, Magnus O. Myreen 210 1$aNew York, NY :$cACM,$d2019. 210 4$d©2019 215 $a1 online resource (261 pages) $cillustrations 311 $a1-4503-6222-2 320 $aIncludes bibliographical references and index. 606 $aComputer science$xMathematics$vCongresses 615 0$aComputer science$xMathematics 676 $a004.0151 702 $aMyreen$b Magnus O. 702 $aMahboubi$b Assia 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910375779303321 996 $aProceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs$91993048 997 $aUNINA LEADER 01188nam0 22002773i 450 001 VAN00122968 005 20240806100812.304 017 70$2N$a978-1-349-95356-1 100 $a20190731d2018 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆThe ‰Medicalized Body and Anesthetic Culture$eThe Cadaver, the Memorial Body, and the Recovery of Lived Experience$fBrent Dean Robbins 210 $aNew York$cPalgrave$d2018 215 $axiii, 425 p.$d24 cm 620 $aUS$dNew York$3VANL000011 700 1$aRobbins$bBrent Dean$3VANV094429$0766453 712 $aPalgrave Macmillan $3VANV108791$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://link.springer.com/openurl?genre=book&isbn=978-1-349-95356-1$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00122968 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4172 $e15EB 4172 20190731 996 $aMedicalized Body and Anesthetic Culture$91559425 997 $aUNICAMPANIA