01466nam2 22003373i 450 SUN009390420130611024820.63420130529d1961 |0frec50 bafreLATFR|||| |||||ˆ2: ‰ApotheosisHamartigeniaPrudence2. éditionParisLes belles lettres1961XIX, 81 p. ([1]-73 doppie)20 cm.001SUN00939032001 OuvresPrudencetexte établi et traduit par M. Lavarenne2205 Paris : Les belles lettres210 v. ; 20 cm215 Testo orig. a fronte.001SUN00939612001 Hamartigenia.SUN0093959Traité de la nature de Dieu.SUN0093962De l'origine du mal.ParisSUNL000046Prudentius Clemens, AureliusSUNV075268391335Lavarenne, MauriceSUNV075269Les belles lettresSUNV001952650Prudentius, Clemens AureliusPrudentius Clemens, AureliusSUNV083485ITSOL20181109RICASUN0093904UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00 CONS XVIII.R.184 00 2704 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA2704CONS XVIII.R.184caHamartigenia1220742Apotheosis745698UNICAMPANIA01366nam0 2200325 i 450 SUN005241420180316100907.18627-05-65696-00.00978-27-05-65696-620060918d1972 |0frec50 bafreFR|||| |||||Geometrie differentielle intrinsequePaul MalliavinParisHermann1972307 p.22 cm.001SUN00366352001 Collection enseignement des sciences14210 ParisHermann.53-XXDifferential geometry [MSC 2020]MFSUNC01981353C20Global Riemannian geometry, including pinching [MSC 2020]MFSUNC02382553BxxLocal differential geometry [MSC 2020]MFSUNC02409453CxxGlobal differential geometry [MSC 2020]MFSUNC02409522E05Local Lie groups [MSC 2020]MFSUNC024096ParisSUNL000046Malliavin, PaulSUNV04149142061HermannSUNV001226650ITSOL20200720RICASUN0052414UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 53-XX 2588 08 3043 I 20060918 Géométrie différentielle intrinsèque348667UNICAMPANIA02658nam 22005175 450 991073148220332120251107173341.03-031-35355-210.1007/978-3-031-35355-0(MiAaPQ)EBC30591379(Au-PeEL)EBL30591379(OCoLC)1382388935(DE-He213)978-3-031-35355-0(PPN)272259616(CKB)26895698700041(EXLCZ)992689569870004120230609d2023 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /edited by Marieke Huisman, António Ravara1st ed. 2023.Cham :Springer Nature Switzerland :Imprint: Springer,2023.1 online resource (233 pages)Lecture Notes in Computer Science,1611-3349 ;13910Print version: Huisman, Marieke Formal Techniques for Distributed Objects, Components, and Systems Cham : Springer,c2023 9783031353543 Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets.This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.Lecture Notes in Computer Science,1611-3349 ;13910Software engineeringSoftware EngineeringSoftware engineering.Software Engineering.004.0151004.0151Huisman Marieke995291Ravara António0MiAaPQMiAaPQMiAaPQBOOK9910731482203321Formal Techniques for Distributed Objects, Components, and Systems3394912UNINA