02359nam0 22004573i 450 UFI020902920251003044428.0IT80-6961 20010705d1980 ||||0itac50 baitaitz01i xxxe z01nˆIl ‰Pignone di Firenze1944-1954di Francesca Taddeicon un saggio di Lirio Mangalaviti: Il Pignone tra Resistenza e ricostruzioneFirenzeLa nuova Italia1980144 p.18 cm.Toscana-sindacato3SC/ 27/11/03RAVV035956001CFI00623392001 Toscana-sindacato32001 ˆIl ‰Pignone tra Resistenza e ricostruzioneLirio Mangalaviti.700 1Mangalaviti, LirioRAVV035956070FirenzePignoneVertenze sindacali1944-1954FIRSBLC003735I331.88SINDACATI21331.88SINDACATI23331.880945SINDACATI. Italia20IT/2724.3/TOSRESISTENZA ITALIANA PER REGIONE TOSCANA 1943-1945RIT/2724.7RESISTENZA ITALIANA LOTTE ECONOMICHE E SOCIALI 1943-1945RIT/3432.9COMPARTI INDUSTRIALI VARI ITALIA 1945-1968RIT/3436.5LOTTE OPERAIE ITALIA 1945-1968RTOS/25.3/FIECONOMIA E SOCIETA TOSCANA 1939-1945 FIRENZERTOS/35.3/FIECONOMIA E SOCIETA TOSCANA 1945-1968 FIRENZERTaddei, FrancescaRAVV030841070245140Mangalaviti, LirioRAVV035956ITIT-00000020010705IT-BN0095 IT-NA0079 NAP BNA Comprende volumi con collocazioni per formato catalogati prima del 1987. La consegna del doc. é effettuata dall'Uff. Distribuzione.NAP 01POZZO LIB.Vi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. UFI0209029Biblioteca Centralizzata di Ateneo1 v. 01POZZO LIB.F. SANTI 381 0101 0060029755E VMA 1 v. (Precedente collocazione S 389)B 2022110920221109 01 BNPignone di Firenze1043863UNISANNIO03340nam 22007695 450 991063393050332120251113210309.09783031224768303122476010.1007/978-3-031-22476-8(MiAaPQ)EBC7150675(Au-PeEL)EBL7150675(CKB)25510542000041(OCoLC)1352973612(PPN)266348890(DE-He213)978-3-031-22476-8(EXLCZ)992551054200004120221130d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal Methods: Foundations and Applications 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /edited by Lucas Lima, Vince Molnár1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (154 pages)Lecture Notes in Computer Science,1611-3349 ;13768Print version: Lima, Lucas Formal Methods: Foundations and Applications Cham : Springer International Publishing AG,c2023 9783031224751 Includes bibliographical references and index.Invited Talks -- Model Checking and Semantics -- Generation and Synthesis -- Verification and Solvers.This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. .Lecture Notes in Computer Science,1611-3349 ;13768Software engineeringNatural language processing (Computer science)Logic programmingComputer scienceComputers, Special purposeComputer networksSoftware EngineeringNatural Language Processing (NLP)Logic in AITheory of ComputationSpecial Purpose and Application-Based SystemsComputer Communication NetworksSoftware engineering.Natural language processing (Computer science)Logic programming.Computer science.Computers, Special purpose.Computer networks.Software Engineering.Natural Language Processing (NLP).Logic in AI.Theory of Computation.Special Purpose and Application-Based Systems.Computer Communication Networks.005.1Molnár VinceLima LucasMiAaPQMiAaPQMiAaPQBOOK9910633930503321Formal Methods: Foundations and Applications773789UNINA