LEADER 01218nam a2200301 i 4500 001 991002469229707536 005 20020503165635.0 008 000704s1961 uk ||| | eng 035 $ab10369028-39ule_inst 035 $aEXGIL104394$9ExL 040 $aBiblioteca Interfacoltà$bita 082 0 $a398.9 100 1 $aMubashshir ibn Fatik, Abu al-Wafa$0467440 245 14$aThe dicts and sayings of the philosophers /$cthe traslations made by Stephen Scrope, William Worcester and anonimous translator ; edited by Curt F. Buhler 260 $aLondon :$bOxford university press,$c1961 300 $aLXVIII, 408, 8 p. ;$c23 cm. 650 4$aDetti e motti 650 4$aFilosofi 700 1 $aTignonville, Guillaume de 700 1 $aScrope, Stephen$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0733403 700 1 $aWorcester, William 700 1 $aBühler, Curt Ferdinand 907 $a.b10369028$b02-04-14$c27-06-02 912 $a991002469229707536 945 $aLE002 In. III L 1$g1$i2002000923783$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10431627$z27-06-02 996 $aDicts and sayings of the philosophers$91445732 997 $aUNISALENTO 998 $ale002$b01-01-00$cm$da $e-$feng$guk $h4$i1 LEADER 04631nam 22007455 450 001 996673176503316 005 20250821130558.0 010 $a3-032-01241-4 024 7 $a10.1007/978-3-032-01241-8 035 $a(CKB)40402066900041 035 $a(MiAaPQ)EBC32269880 035 $a(Au-PeEL)EBL32269880 035 $a(DE-He213)978-3-032-01241-8 035 $a(OCoLC)1534804154 035 $a(EXLCZ)9940402066900041 100 $a20250821d2026 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security $e44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10?12, 2025, Proceedings /$fedited by Barbara Gallina, Martin Törngren, Friedemann Bitsch 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (329 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15954 311 08$a3-032-01240-6 327 $a -- Safety Arguments/Cases. -- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases. -- Principled Safety Assurance Arguments. -- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases. -- Data Sets and Dependability Properties. -- Creation and use of a representative dataset for Advanced Persistent Threats detection. -- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies. -- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation. -- Testing and Complex Environments. -- Alignment of SOTIF and Scenario-based Safety Evaluation Framework. -- Managing capability in software dependability testing through generic test rigs. -- Improving Out-of-Distribution Detection via Test-Time Augmentation. -- Methodologies (1) ? Safety Design and Risk Assessment. -- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit. -- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. -- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment. -- Methodologies (2) ? Machine Learning and Large Language Models. -- Large Language Models in Code Co-generation for Safe Autonomous Vehicles. .-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development. -- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA. 330 $aThis book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025. The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and Dependability Properties; Testing and Complex Environments; Methodologies (1) - Safety Design and Risk Assessment; and Methodologies (2) Machine Learning and Large Language. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15954 606 $aComputer networks 606 $aSoftware engineering 606 $aInformation technology$xManagement 606 $aRobotics 606 $aMicroprogramming 606 $aComputer networks$xSecurity measures 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aComputer Application in Administrative Data Processing 606 $aRobotics 606 $aControl Structures and Microprogramming 606 $aMobile and Network Security 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aInformation technology$xManagement. 615 0$aRobotics. 615 0$aMicroprogramming. 615 0$aComputer networks$xSecurity measures. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputer Application in Administrative Data Processing. 615 24$aRobotics. 615 24$aControl Structures and Microprogramming. 615 24$aMobile and Network Security. 676 $a004.6 700 $aGallina$b Barbara$01768500 701 $aTo?rngren$b Martin$01328682 701 $aBitsch$b Friedemann$01427978 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996673176503316 996 $aComputer Safety, Reliability, and Security$94428610 997 $aUNISA