LEADER 01244nam 2200397 450 001 9910823689803321 005 20230814223947.0 010 $a80-246-3761-8 035 $a(CKB)4100000005878249 035 $a(MiAaPQ)EBC5488846 035 $a(Au-PeEL)EBL5488846 035 $a(CaPaEBR)ebr11599809 035 $a(OCoLC)1048003819 035 $a(EXLCZ)994100000005878249 100 $a20180913d2018 uy 0 101 0 $acze 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aDiagnostika a lc?ba osteoporo?zy a dalsi?ch onemocneni? skeletu /$fVale?r Dzupa, Jiri? Jensovsky? (editors) 210 1$a[Place of publication not identified] :$cKarolinum,$d2018. 215 $a1 online resource (230 pages) $cillustrations 311 $a80-246-3741-3 606 $aOsteoporosis$xTreatment 615 0$aOsteoporosis$xTreatment. 676 $a616.716 702 $aDzupa$b Vale?r 702 $aJens?ovsky?$b Jir?i? 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910823689803321 996 $aDiagnostika a lc?ba osteoporo?zy a dalsi?ch onemocneni? skeletu$93918969 997 $aUNINA LEADER 01436oam 2200457zu 450 001 996210276903316 005 20230831161952.0 010 $a1-4673-1313-0 035 $a(CKB)3420000000000607 035 $a(SSID)ssj0000781150 035 $a(PQKBManifestationID)12367094 035 $a(PQKBTitleCode)TC0000781150 035 $a(PQKBWorkID)10804026 035 $a(PQKB)11331891 035 $a(Non_Seri)133628 035 $a(NjHacI)993420000000000607 035 $a(Association for Computing Machinery)10.5555/3041409 035 $a(EXLCZ)993420000000000607 100 $a20160829d2012 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign 210 31$a[Place of publication not identified]$cIEEE$d2012 215 $a1 online resource 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-4673-1314-9 410 0$aACM Conferences 517 3 $aMEMOCODE '12 606 $aFormal methods (Computer science) 615 0$aFormal methods (Computer science) 676 $a004.0151 712 02$aInstitute of Electrical and Electronics Engineers, 801 0$bPQKB 906 $aPROCEEDING 912 $a996210276903316 996 $a2012 10th IEEE$91943014 997 $aUNISA