01180nam--2200397---450-9900006218402033160-387-94776-00062184USA010062184(ALEPH)000062184USA01006218420010912d1996----km-y0itay0103----baengUS||||||||001yyBonferroni-type inequalities with applicationsJanos Galambos, Italo SimonelliNew YorkSpringerc1996IX, 269 p.24 cmProbability and its applications2001Probability and its applications001-------2001DistribuzioneDiseguaglianze519.24GALAMBOS,Janos26184SIMONELLI,Italo547543ITsalbcISBD990000621840203316519.24 GAL10829 ING519.24BKTECPATTY9020010912USA01091820020403USA011711PATRY9020040406USA011643Bonferroni-type inequalities with applications956771UNISA03089nam 22007335 450 991098334400332120250201115253.09783031787096303178709910.1007/978-3-031-78709-6(CKB)37447637400041(MiAaPQ)EBC31897314(Au-PeEL)EBL31897314(OCoLC)1496394464(DE-He213)978-3-031-78709-6(EXLCZ)993744763740004120250201d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAutomated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /edited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (605 pages)Lecture Notes in Computer Science,1611-3349 ;150549783031787089 3031787080 The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. .Lecture Notes in Computer Science,1611-3349 ;15054Software engineeringComputer engineeringComputer networksArtificial intelligenceComputersComputer scienceSoftware EngineeringComputer Engineering and NetworksArtificial IntelligenceComputer HardwareTheory of ComputationSoftware engineering.Computer engineering.Computer networks.Artificial intelligence.Computers.Computer science.Software Engineering.Computer Engineering and Networks.Artificial Intelligence.Computer Hardware.Theory of Computation.005.1Akshay S1785198Niemetz Aina1785199Sankaranarayanan Sriram1380659MiAaPQMiAaPQMiAaPQBOOK9910983344003321Automated Technology for Verification and Analysis4316799UNINA