01805nam0 22003973i 450 VAN025346720230621034128.637N978303489348020230119d1984 |0itac50 baengCH|||| |||||Topics in the Geometry of Projective SpaceRecent Work of F.L. ZakR. Lazarsfeld, A. Van de Venwith an addendum by F. L. ZakBaselBirkhäuserSpringer198452 p.24 cm001VAN01030852001 Oberwolfach seminars210 Basel [etc.]Birkhäuser4VAN0253469Topics in the Geometry of Projective Space355507514M17Homogeneous spaces and generalizations [MSC 2020]VANC022416MF14M07Low codimension problems in algebraic geometry [MSC 2020]VANC028920MFClassificationKW:KProjectKW:KQualityKW:KBaselVANL002076LazarsfeldRobertVANV04776359144van de VenAntonius J. H. M.VANV2066531425019ZakFyodor L.VANV206655Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-0348-9348-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0253467BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5046 08eMF5046 20230119 Topics in the Geometry of Projective Space3555075UNICAMPANIA02877nam 22007095 450 99667317900331620250828130208.03-032-00942-110.1007/978-3-032-00942-5(MiAaPQ)EBC32274051(Au-PeEL)EBL32274051(CKB)40430597100041(DE-He213)978-3-032-00942-5(EXLCZ)994043059710004120250828d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal Methods for Industrial Critical Systems 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings /edited by Anne Remke, Bernhard Steffen1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (421 pages)Lecture Notes in Computer Science,1611-3349 ;160403-032-00941-3 This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025. The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems.Lecture Notes in Computer Science,1611-3349 ;16040Compilers (Computer programs)Software engineeringApplication softwareArtificial intelligenceComputer scienceComputer networksCompilers and InterpretersSoftware EngineeringComputer and Information Systems ApplicationsArtificial IntelligenceTheory of ComputationComputer Communication NetworksCompilers (Computer programs)Software engineering.Application software.Artificial intelligence.Computer science.Computer networks.Compilers and Interpreters.Software Engineering.Computer and Information Systems Applications.Artificial Intelligence.Theory of Computation.Computer Communication Networks.005.45Remke Anne1785196Steffen Bernhard878620MiAaPQMiAaPQMiAaPQBOOK996673179003316Formal Methods for Industrial Critical Systems4428596UNISA