LEADER 00898nam0-22003131i-450 
001 990005421480403321
005 20230721161324.0
035   $a000542148
035   $aFED01000542148
035   $a(Aleph)000542148FED01
035   $a000542148
100   $a19990604d1952----km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $a<<Il >>Rinascimento e la crisi militare italiana$fPiero Pieri
205   $a2.ed.
210   $aTorino$cGiulio Einaudi$d1952
215   $a663 p.$d22 cm
225 1 $aBiblioteca di cultura storica$v45
676   $a945.06$v21$zita
700  1$aPieri,$bPiero$f<1893-1979>$0134188
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990005421480403321
952   $a945.05 PIE 1$fFLFBC
952   $aDFT D35 PIEP 01$fFLFBC
959   $aFLFBC
996   $aRinascimento e la crisi militare italiana$9267615
997   $aUNINA

LEADER 03112nam  22007695  450 
001 9910886968003321
005 20251225183442.0
010   $a9783031711626
010   $a3031711629
024 7 $a10.1007/978-3-031-71162-6
035   $a(CKB)34985368400041
035   $a(DE-He213)978-3-031-71162-6
035   $a(MiAaPQ)EBC31727468
035   $a(Au-PeEL)EBL31727468
035   $a(OCoLC)1463089145
035   $a(EXLCZ)9934985368400041
100   $a20240910d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods $e26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part I /$fedited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14933
311 08$a9783031711619 
311 08$a3031711610 
330   $aThis open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14933
606   $aSoftware engineering
606   $aComputer science
606   $aComputers, Special purpose
606   $aProgramming languages (Electronic computers)
606   $aMicroprogramming
606   $aNatural language processing (Computer science)
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aSpecial Purpose and Application-Based Systems
606   $aProgramming Language
606   $aControl Structures and Microprogramming
606   $aNatural Language Processing (NLP)
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aComputers, Special purpose.
615  0$aProgramming languages (Electronic computers)
615  0$aMicroprogramming.
615  0$aNatural language processing (Computer science)
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProgramming Language.
615 24$aControl Structures and Microprogramming.
615 24$aNatural Language Processing (NLP).
676   $a005.1
702   $aPlatzer$b Andre?$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRozier$b Kristin Yvonne$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPradella$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRossi$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910886968003321
996   $aFormal methods$92247212
997   $aUNINA