LEADER 01546cam a2200313 i 4500 001 991001438059707536 008 060124s2003 us a b 000 0 eng d 020 $a0391041932 035 $ab13372518-39ule_inst 040 $aDip.to Filologia Class. e Scienze Filosofiche$bita 041 1 $aeng$hlat$hara 082 00$a516 100 0 $aAnaritius$0622288 245 10$aGerard of Cremona's translation of the commentary of Al-Nayrizi on Book I of Euclid's Elements of geometry :$bwith an introductory account of the twenty-two early extant Arabic manuscripts of the Elements /$c[translated and] edited by Anthony Lo Bello 260 $aBoston :$bBrill Academic Publishers,$c2003 300 $aXXXIII, 169 p. :$bill. ;$c24 cm 440 0$aAncient Mediterranean and medieval texts and contexts 440 0$aMedieval philosophy, mathematics, and science ;$v2 504 $aBibliografia: p. [157]-169 600 04$aEuclides$tElementa.$n1. 650 0$aMathematics, Greek. 700 0 $aGerardus :$cCremonensis$d<1113?-1187> 700 1 $aLo Bello, Anthony$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0738154 907 $a.b13372518$b21-09-06$c24-01-06 912 $a991001438059707536 945 $aLE007 180 LOB 01.01$g1$i2007000077719$lle007$nLE007 06.01 Sturlese$op$pE106.10$q-$rl$s- $t0$u1$v0$w1$x0$y.i14182324$z24-01-06 996 $aGerard of Cremona's translation of the commentary of Al-Nayrizi on Book I of Euclid's Elements of geometry$91461883 997 $aUNISALENTO 998 $ale007$b24-01-06$cm$da $e-$feng$gus $h0$i0 LEADER 02774nam 2200709Ia 450 001 9910967875903321 005 20200520144314.0 010 $a9786610198023 010 $a9781118682159 010 $a1118682157 010 $a9781118682166 010 $a1118682165 010 $a9781280198021 010 $a1280198028 010 $a9780470790601 010 $a0470790601 010 $a9780585495040 010 $a0585495041 035 $a(CKB)111087027761612 035 $a(EBL)214189 035 $a(OCoLC)475920243 035 $a(SSID)ssj0000142811 035 $a(PQKBManifestationID)11144033 035 $a(PQKBTitleCode)TC0000142811 035 $a(PQKBWorkID)10111812 035 $a(PQKB)11232337 035 $a(MiAaPQ)EBC214189 035 $a(Au-PeEL)EBL214189 035 $a(CaPaEBR)ebr10049692 035 $a(CaONFJC)MIL19802 035 $a(Perlego)1000055 035 $a(EXLCZ)99111087027761612 100 $a20040112d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aECGs for the emergency physician /$fAmal Mattu, William Brady 205 $a2nd ed. 210 $aLondon $cBMJ Books$d2003 215 $a1 online resource (173 p.) 300 $aDescription based upon print version of record. 311 08$a9780727916549 311 08$a0727916548 320 $aIncludes bibliographical references and index. 327 $aTitle Page; Contents; Foreword; Preface; Dedications; Part 1; Case histories; ECG interpretations and comments; Part 2; Case histories; ECG interpretations and comments; Appendix A: Differential diagnosis; Appendix B: Commonly used abbreviations; Index 330 $aWith over 200 traces to test your knowledge, this book is a first class learning tool for emergency physicians. Basic student-level knowledge of ECGs is assumed, so the reader can move directly to learning about the more complex traces that occur in the emergency department. The level of difficulty is stratified into two sections for specialists in training and specialist emergency physicians. A minimum amount of information is given beneath each trace, as if in the real situation. The full clinical description is printed in a separate section to avoid the temptation of "looking". Accompan 606 $aElectrocardiography 606 $aEmergency medicine 615 0$aElectrocardiography. 615 0$aEmergency medicine. 676 $a616.1207547 700 $aMattu$b Amal$0847214 701 $aBrady$b William$f1960-$01618657 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910967875903321 996 $aECGs for the emergency physician$94364950 997 $aUNINA LEADER 02631oam 2200457zu 450 001 9910139107603321 005 20241212215904.0 010 $a9781424464364 010 $a1424464366 035 $a(CKB)2560000000009683 035 $a(SSID)ssj0000452581 035 $a(PQKBManifestationID)12157802 035 $a(PQKBTitleCode)TC0000452581 035 $a(PQKBWorkID)10485810 035 $a(PQKB)10462082 035 $a(NjHacI)992560000000009683 035 $a(EXLCZ)992560000000009683 100 $a20160829d2010 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a2010 3rd IEEE International Conference on Software Testing, Verification and Validation 210 31$a[Place of publication not identified]$cIEEE$d2010 215 $a1 online resource 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769539904 311 08$a0769539904 311 08$a9781424464357 311 08$a1424464358 330 $aUML state machines are widely used as test models in model-based testing. Coverage criteria are applied to them, e.g. to measure a test suite's coverage of the state machine or to steer automatic test suite generation based on the state machine. The model elements to cover as described by the applied coverage criterion depend on the structure of the state machine. Model transformations can be used to change this structure. In this paper, we present semantic-preserving state machine transformations that are used to influence the result of the applied coverage criteria. The contribution is that almost every feasible coverage criterion that is applied to the transformed state machine can have at least the same effect as any other feasible, possibly stronger coverage criterion that is applied to the original state machine. We introduce simulated satisfaction as a corresponding relation between coverage criteria. We provide formal definitions for coverage criteria and use them to prove the correctness of the model transformations that substantiate the simulated satisfaction relations. The results of this paper are especially important for model-based test generation tools, which are often limited to satisfy a restricted set of coverage criteria. 606 $aComputer software$xTesting$vCongresses 615 0$aComputer software$xTesting 676 $a005.14 702 $aIEEE Staff 801 0$bPQKB 906 $aPROCEEDING 912 $a9910139107603321 996 $a2010 3rd IEEE International Conference on Software Testing, Verification and Validation$92344043 997 $aUNINA