00939cam0-22002891i-450 99000500169040332120210617114502.0000500169FED01000500169(Aleph)000500169FED0100050016919990604d1925----km-y0itay50------baitaITy-------001yy<<La >>Cecoslovacchiaoganizzazione politica, organizzazione economica, organizzazione culturale, grandi personalitàRomaAnonima Romana Editoriale1925447 p., [48] c. di tav.26 cmPubblicazioni dell'Istituto per l'Europa orientale, Roma2. ser.Politica, storia, economia6ITUNINARICAUNIMARCBK9900050016904033213/V AA 10I.D. 294FLFBC3/XI AA 53s.i.FLFBCFLFBCCecoslovacchia530165UNINA01186nam2 2200301 i 450 VAN002470320240405124715.488-413-3673-0978-88-413-3673-120040924d1992 |0itac50 baitaIT|||| |||||1Aldo Ghizzetti, Francesco RosatiMilanoMasson1992XII, 388 p.24 cm001VAN00247012001 Esercizi e complementi di analisi matematicaAldo Ghizzetti, Francesco Rosati210 MilanoMasson215 2 volumi24 cm126-XXReal functions [MSC 2020]VANC019778MFMilanoVANL000284GhizzettiAldoVANV020746897RosatiFrancescoVANV020747332095Masson <Italia> <editore>VANV107929650ITSOL20240412RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0024703BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 26-XX 1587 08 1784 III 20041207 13870579UNICAMPANIA03549nam 22007695 450 991033784670332120251225190647.03-030-21571-710.1007/978-3-030-21571-2(CKB)4100000008408963(DE-He213)978-3-030-21571-2(MiAaPQ)EBC5929917(PPN)242823564(EXLCZ)99410000000840896320190530d2019 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierApplication and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings /edited by Susanna Donatelli, Stefan Haar1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XV, 471 p. 995 illus., 73 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;115223-030-21570-9 Includes bibliographical references and index.Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions.This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019. The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.Theoretical Computer Science and General Issues,2512-2029 ;11522Computer scienceAlgorithmsComputer scienceMathematicsDiscrete mathematicsArtificial intelligenceData processingSoftware engineeringArtificial intelligenceComputer Science Logic and Foundations of ProgrammingAlgorithmsDiscrete Mathematics in Computer ScienceData ScienceSoftware EngineeringArtificial IntelligenceComputer science.Algorithms.Computer scienceMathematics.Discrete mathematics.Artificial intelligenceData processing.Software engineering.Artificial intelligence.Computer Science Logic and Foundations of Programming.Algorithms.Discrete Mathematics in Computer Science.Data Science.Software Engineering.Artificial Intelligence.004.24015115511.35Donatelli Susannaedthttp://id.loc.gov/vocabulary/relators/edtHaar Stefanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337846703321Application and Theory of Petri Nets and Concurrency1905519UNINA