00816nam0-22002891i-450-99000175492040332120070716105119.0000175492FED01000175492(Aleph)000175492FED0100017549220030910d1873----km-y0itay50------baitaSu di una importante varietà d'ulivoGiuseppe Antonio PasqualeNapoli[s.e.]18731 p.29 cmLoganialesOlea europaea583.74Pasquale,Giuseppe Antonio<1820-1893>69625ITUNINARICAUNIMARCBK99000175492040332160 583.32 B 1/15540FAGBCFAGBCSu di una importante varietà d'ulivo363102UNINA02512nam 2200481 450 99641829130331620210228122121.03-030-59152-210.1007/978-3-030-59152-6(CKB)4100000011505452(DE-He213)978-3-030-59152-6(MiAaPQ)EBC6371098(PPN)255227795(EXLCZ)99410000001150545220210228d2020 uy 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierAutomated technology for verification and analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /Dang Van Hung, Oleg Sokolsky1st ed. 2020.Cham, Switzerland :Springer,[2020]©20201 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) Programming and Software Engineering ;12302Includes index.3-030-59151-4 Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.Programming and Software Engineering ;12302Artificial intelligenceArtificial intelligence.006.333Sokolsky OlegDang Hung Van1950-MiAaPQMiAaPQMiAaPQBOOK996418291303316Automated Technology for Verification and Analysis772478UNISA02632nam 2200565 450 991080776100332120230617002729.01-4511-6548-X(CKB)1000000000753701(EBL)3418590(SSID)ssj0000455917(PQKBManifestationID)11281251(PQKBTitleCode)TC0000455917(PQKBWorkID)10405493(PQKB)10577462(Au-PeEL)EBL3418590(CaPaEBR)ebr10834452(CaONFJC)MIL73055(OCoLC)923528926(Au-PeEL)EBL2032590(OCoLC)908670417(MiAaPQ)EBC3418590(EXLCZ)99100000000075370120040507h20052005 uy| 0engurbn|---|||||rdacontentrdamediardacarrierCardiac nursing /[edited by] Susan L. Woods [and three others]Fifth edition.Philadelphia :Lippincott Williams & Wilkins,[2005]©20051 online resource (1048 pages) illustrationsDescription based upon print version of record.0-7817-4718-X Includes bibliographical references and index.part I. Anatomy and physiology -- part II. Physiologic and pathologic responses -- part III. Assessment of heart disease -- part IV. Pathophysiology and management of heart disease -- part V. Health promotion and disease prevention.Now thoroughly updated with current, evidence-based material, Cardiac Nursing is recognized as "The Red Reference Book" for nurses caring for patients who have, or are at risk for developing, cardiac diseases. Organized within the framework of the nursing process, this comprehensive clinical reference provides complete information on the assessment, pathophysiology, management, and prevention of heart diseases and details the rationale and evidence for interventions. This edition has seven brand-new chapters on inflammation, atherosclerosis, genetics, heart rate variability, complementary and alternative medicine, disease management models, and nuclear and other scans. Boxes of evidence-based content have been added within chapters where appropriate.HeartDiseasesNursingHeartDiseasesNursing.616.1/20231Woods Susan L988496MiAaPQMiAaPQMiAaPQBOOK9910807761003321Cardiac nursing4015344UNINA