LEADER 01117nam0 2200277 i 450 001 SUN0054490 005 20180508093358.215 010 $a978-88-7168-039-2$d0.00 100 $a20061013d1991 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aEpistemologia applicata$econoscenza e metodo nelle scienze$fLorenzo Magnani$gprefazione di Fulvio Papi 210 $aMilano$cMarcos y Marcos$d1991 215 $a334 p.$d21 cm. 410 1$1001SUN0054491$12001 $aˆLa ‰collana dei saggi$v6$1210 $aMilano$cMarcos y Marcos$d1986-. 606 $a00A30$xPhilosophy of mathematics [MSC 2020]$2MF$3SUNC020829 620 $dMilano$3SUNL000284 700 1$aMagnani$b, Lorenzo$3SUNV043083$029055 702 1$aPapi$b, Fulvio$3SUNV050121 712 $aMarcos y Marcos$3SUNV005584$4650 801 $aIT$bSOL$c20200727$gRICA 912 $aSUN0054490 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 00-XX 2583 $e08 1109 I 20061013 996 $aEpistemologia applicata$9337327 997 $aUNICAMPANIA LEADER 04172nam 22008295 450 001 996465407903316 005 20200703022420.0 010 $a3-642-41707-8 024 7 $a10.1007/978-3-642-41707-8 035 $a(CKB)3710000000024435 035 $a(SSID)ssj0001049646 035 $a(PQKBManifestationID)11555747 035 $a(PQKBTitleCode)TC0001049646 035 $a(PQKBWorkID)11034080 035 $a(PQKB)11479002 035 $a(DE-He213)978-3-642-41707-8 035 $a(MiAaPQ)EBC3093185 035 $a(PPN)176116834 035 $a(EXLCZ)993710000000024435 100 $a20131030d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting Software and Systems$b[electronic resource] $e25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /$fedited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XIV, 291 p. 84 illus.) 225 1 $aProgramming and Software Engineering ;$v8254 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-41706-X 327 $aModel-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   . 330 $aThis book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging. 410 0$aProgramming and Software Engineering ;$v8254 606 $aSoftware engineering 606 $aComputer communication systems 606 $aProgramming languages (Electronic computers) 606 $aSpecial purpose computers 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aProgramming languages (Electronic computers). 615 0$aSpecial purpose computers. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 676 $a005.14 702 $aYenigün$b Hüsnü$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYilmaz$b Cemal$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aUlrich$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465407903316 996 $aTesting software and systems$92088040 997 $aUNISA LEADER 03894nam 2200637 450 001 996203979503316 005 20230617040419.0 010 $a1-281-31837-X 010 $a9786611318376 010 $a0-470-68012-1 035 $a(CKB)1000000000406031 035 $a(EBL)351016 035 $a(OCoLC)437214021 035 $a(SSID)ssj0000123688 035 $a(PQKBManifestationID)12002275 035 $a(PQKBTitleCode)TC0000123688 035 $a(PQKBWorkID)10014344 035 $a(PQKB)10392106 035 $a(MiAaPQ)EBC351016 035 $a(MiAaPQ)EBC4956654 035 $a(Au-PeEL)EBL4956654 035 $a(CaONFJC)MIL131837 035 $a(OCoLC)1027197658 035 $a(EXLCZ)991000000000406031 100 $a20160819e20052000 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aClinical radiology of the horse /$fJanet A. Butler [and four others] 205 $a2nd ed. 210 1$aOxford, England :$cBlackwell Science,$d2005. 210 4$d©2000 215 $a1 online resource (626 p.) 300 $aDescription based upon print version of record. 311 $a0-470-69039-9 311 $a0-632-05268-6 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $a""Clinical Radiology of the Horse""; ""Contents""; ""PREFACE""; ""1 GENERAL PRINCIPLES""; ""Introduction""; ""Principles of radiology""; ""Principles of radiographic interpretation""; ""Radiological appearance of physiological changes and some common pathological lesions""; ""2 FOOT, PASTERN AND FETLOCK""; ""Distal phalanx (pedal bone)""; ""Hoof""; ""Navicular bone""; ""Proximal and middle phalanges""; ""Metacarpophalangeal (fetlock) joint""; ""3 THE METACARPUS AND METATARSUS""; ""4 THE CARPUS""; ""5 THE SHOULDER, HUMERUS AND ELBOW""; ""Scapulohumeral (shoulder) joint and humerus"" 327 $a""Humeroradial, humeroulnar and radioulnar (elbow) joints and radius""""6 THE TARSUS""; ""7 THE STIFLE AND TIBIA""; ""Stifle""; ""Tibia""; ""8 THE HEAD""; ""Cranium""; ""Frontal and maxillary sinuses and maxilla""; ""Teeth and mandible""; ""Pharynx, larynx and Eustachian tube diverticulum""; ""9 THE SPINE""; ""Cervical spine""; ""Thoracolumbar spine""; ""Sacrum and coccygeal vertebrae""; ""10 THE PELVIS AND FEMUR""; ""Pelvis""; ""Femur""; ""11 THE THORAX""; ""12 THE ALIMENTARY AND URINARY SYSTEMS""; ""Oesophagus""; ""Abdomen and gastrointestinal tract""; ""Urinary system"" 327 $a""13 MISCELLANEOUS TECHNIQUES""""Arthrography""; ""Tendonography""; ""Angiography""; ""Myelography""; ""Pneumocystography""; ""Intravenous pyelography""; ""Other techniques""; ""Polaroid radiographs""; ""APPENDIX A: FUSION TIMES OF PHYSES AND SUTURE LINES""; ""APPENDIX B: EXPOSURE GUIDE AND IMAGE QUALITY""; ""APPENDIX C: GLOSSARY""; ""INDEX"" 330 $aThe first edition of this comprehensive guide to the techniques used to obtain radiographs of the horse and to radiographic interpretation was first published in 1993. This second edition has been significantly enlarged to include new information and many additional illustrations. With over 480 superb annotated radiographs and more than 100 interpretive line diagrams, it combines the best features of a high quality atlas with those of a detailed textbook. Details of the normal radiographic anatomy of the immature and mature horse, with normal variations, incidental findings and significant abn 606 $aHorses$xAnatomy$vAtlases 606 $aVeterinary radiography$vAtlases 615 0$aHorses$xAnatomy 615 0$aVeterinary radiography 676 $a636.1/0891 702 $aButler$b Janet A. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996203979503316 996 $aClinical radiology of the horse$9851173 997 $aUNISA