LEADER 01166nam0-2200397---450- 001 990000999710203316 010 $a88-13-20202-4 035 $a0099971 035 $aUSA010099971 035 $a(ALEPH)000099971USA01 035 $a0099971 100 $a20020227d1997----km-y0ITAy01------ba 101 $aita 102 $aIT 105 $a00||| 200 1 $aDiritto della previdenza sociale$fMattia Persiani 205 $a9 ed. riv. e aggiornata 210 $aPadova$cCEDAM$d1997 215 $aVI, 229 p.$d22 cm 225 2 $aManuali di scienze giuridiche 410 0$12001$aManuali di scienze giuridiche 606 $aPrevidenza sociale$xDiritto 676 $a344.4502 700 1$aPERSIANI,$bMattia$0102605 801 0$aIT$bsalbc$gISBD 912 $a990000999710203316 951 $aCOLL. UJ 29 F$b5151 G$cCOLL. UJ 951 $aCOLL. UJ 29 F$b5152 G$cCOLL. UJ 951 $aCOLL. UJ 29 F$b15726 G$cCOLL. UJ 959 $aBK 969 $aGIU 979 $aPATTY$b90$c20020227$lUSA01$h1004 979 $c20020403$lUSA01$h1741 979 $aPATRY$b90$c20040406$lUSA01$h1709 996 $aDiritto della previdenza sociale$961243 997 $aUNISA LEADER 01464nam2-2200433---450- 001 990001081510203316 005 20071116090744.0 010 $a88-3940640-9 035 $a000108151 035 $aUSA01000108151 035 $a(ALEPH)000108151USA01 035 $a000108151 100 $a20020517h2002----km-y0itay50------ba 101 $aita$cfre 102 $aIT 105 $ay|||z|||001yy 200 1 $a<<8>> : Bibbia e storia$egiudaismo, ellenismo, cristianesimo$fMarie-Françoise Baslez$gedizione italiana [e traduzione] a cura di Corinne Bonnet 210 $aBrescia$cPaideia$dcopyr. 2002 215 $a389 p.$d23 cm 454 1$12001$aBible et histoire$920887 461 1$10010003385$12001$aIntroduzione allo studio della Bibbia. Supplementi 606 $aStoria biblica 676 $a220.95 700 1$aBASLEZ,$bMarie Françoise$0384553 702 1$aBONNET,$bCorinne 801 0$aIT$bsalbc$gISBD 912 $a990001081510203316 951 $aII.2. 2409/8(XIV 996/8)$b162485 L.M.$cII.2.$d00081912 959 $aBK 969 $aUMA 979 $aPAOLA$b90$c20020517$lUSA01$h1343 979 $aPAOLA$b90$c20020517$lUSA01$h1345 979 $aPATRY$b90$c20040406$lUSA01$h1715 979 $aCOPAT1$b90$c20050517$lUSA01$h1622 979 $aANNAMARIA$b90$c20071113$lUSA01$h1731 979 $aANNAMARIA$b90$c20071114$lUSA01$h0944 979 $aANNAMARIA$b90$c20071116$lUSA01$h0907 996 $aBible et histoire$920887 997 $aUNISA LEADER 03954nam 22007095 450 001 9910847392703321 005 20251225200659.0 010 $a3-031-57231-9 024 7 $a10.1007/978-3-031-57231-9 035 $a(CKB)31435579200041 035 $a(MiAaPQ)EBC31281874 035 $a(Au-PeEL)EBL31281874 035 $a(DE-He213)978-3-031-57231-9 035 $a(OCoLC)1429286527 035 $a(EXLCZ)9931435579200041 100 $a20240406d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Software Science and Computation Structures $e27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part II /$fedited by Naoki Kobayashi, James Worrell 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (283 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14575 311 08$a3-031-57230-0 327 $aTypes and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. 330 $aThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14575 606 $aComputer science 606 $aLogic, Symbolic and mathematical 606 $aData structures (Computer science) 606 $aInformation theory 606 $aComputer systems 606 $aComputer science$xMathematics 606 $aTheory of Computation 606 $aMathematical Logic and Foundations 606 $aData Structures and Information Theory 606 $aComputer System Implementation 606 $aMathematics of Computing 615 0$aComputer science. 615 0$aLogic, Symbolic and mathematical. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 0$aComputer systems. 615 0$aComputer science$xMathematics. 615 14$aTheory of Computation. 615 24$aMathematical Logic and Foundations. 615 24$aData Structures and Information Theory. 615 24$aComputer System Implementation. 615 24$aMathematics of Computing. 676 $a40,151 700 $aKobayashi$b Naoki$01736494 701 $aWorrell$b James$01736495 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910847392703321 996 $aFoundations of Software Science and Computation Structures$94156353 997 $aUNINA