01513nam0 2200349 i 450 VAN012556720220311083617.121N978331928388320191121d2018 |0itac50 baengCH|||| |||||Modern Magnetic ResonanceGraham A. Webb editorChamSpringer2018XLIV, 2293 p.ill.24 cmCHChamVANL001889615.19Chimica farmaceutica. Tecnologia farmaceutica. Chimica medica22641.3Alimenti22551.46Oceanografia e geologia sottomarina22620.1Scienze dei materiali22WebbGraham A.VANV056505SpringerVANV108073650Webb, G. A.Webb, Graham A.VANV103265Webb, G.A.Webb, Graham A.VANV205862ITSOL20221202RICAhttps://link.springer.com/referencework/10.1007/978-3-319-28388-3E-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN17NVAN0125567BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS e-book 2112 17BIB2112/210 210 20191121 Modern Magnetic Resonance1566634UNISOB02147nam1 22003251i 450 UON0049208420231205105336.559978-88-8281-232-420190201d2008 |0itac50 baitaCH|||| |||||Scritti linguisticiCarlo Salvionia cura di Michele Loporcaro ... [et al.] -Bellinzona]Edizioni dello Stato del Canton Ticino, 20085 v.24 cm.001UON004920882001 Testi per la storia della cultura della Svizzera italiana210 [Bellinzona]Edizioni dello Stato del Canton Ticino.4001UON004920872001 Saggi sulle varietà della Svizzera italiana e dell'Alta ItaliaCarlo Salvionia cura di Michele Loporcaro ... [et al.]210 [Bellinzona]Edizioni dello Stato del Canton Ticino2008215 769 p.24 cm.1001UON004920892001 Dialettologia e linguistica storicaCarlo Salvionia cura di Michele Loporcaro ... [et al.]210 [Bellinzona]Edizioni dello Stato del Canton Ticino2008215 739 p.24 cm.2001UON004920902001 Testi antichi e dialettaliCarlo Salvionia cura di Michele Loporcaro ... [et al.]210 [Bellinzona]Edizioni dello Stato del Canton Ticino2008215 1122 p.24 cm.3001UON004920912001 Etimologia e lessicoCarlo Salvionia cura di Michele Loporcaro ... [et al.]210 [Bellinzona]Edizioni dello Stato del Canton Ticino2008215 1197 p.24 cm.4001UON004920922001 Introduzione e indiciCarlo Salvionia cura di Michele Loporcaro ... [et al.]210 [Bellinzona]Edizioni dello Stato del Canton Ticino2008215 876 p.24 cm.5LinguisticaStudiUONC019051FIBellinzona (Lugano)UONL002138410Linguistica21SalvioniCarloUONV076662761872LoporcaroMicheleUONV074369Edizioni dello Stato del Canton TicinoUONV283307650ITSOL20250926RICAUON00492084Scritti linguistici1542925UNIOR04161nam 22007215 450 991098329750332120251225185022.03-031-75390-910.1007/978-3-031-75390-9(MiAaPQ)EBC31741724(Au-PeEL)EBL31741724(CKB)36403436600041(DE-He213)978-3-031-75390-9(EXLCZ)993640343660004120241026d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLeveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /edited by Tiziana Margaria, Bernhard Steffen1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (219 pages)Lecture Notes in Computer Science,1611-3349 ;152233-031-75389-5 Digital Twin Engineering (Track Introduction ISoLA 2024) -- Foundation Models for the Digital Twins Creation of Cyber-Physical Systems -- Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions -- Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins -- DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks -- Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development -- Formal methods for distributed computing in future railway systems -- Model-based Testing of Railway Interlocking Systems -- Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-Verified Components -- Formal Validation and ERTMS Simulation -- Securing automatic small railway vehicles using Automatic Train Protection -- Railway Switch Control Modeling in European Train Control System Level 3 -- An Integrated Perspective on the Evaluation of Complex Railway Systems.The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.Lecture Notes in Computer Science,1611-3349 ;15223Software engineeringMachine theoryComputer scienceComputers, Special purposeComputer systemsMicroprogrammingSoftware EngineeringFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingSpecial Purpose and Application-Based SystemsComputer System ImplementationControl Structures and MicroprogrammingSoftware engineering.Machine theory.Computer science.Computers, Special purpose.Computer systems.Microprogramming.Software Engineering.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Special Purpose and Application-Based Systems.Computer System Implementation.Control Structures and Microprogramming.005.1Margaria Tiziana1784909Steffen Bernhard878620MiAaPQMiAaPQMiAaPQBOOK9910983297503321Leveraging Applications of Formal Methods, Verification and Validation. Application Areas4317394UNINA