LEADER 01027nam--2200349---450- 001 990006096020203316 005 20151104135746.0 035 $a000609602 035 $aUSA01000609602 035 $a(ALEPH)000609602USA01 035 $a000609602 100 $a20040225d1989----km-y0itay0103----ba 101 $agrc 102 $aDE 105 $a||||||||001yy 200 1 $aCarmina epigraphica graeca$esaeculorum 8.-5. a. Chr. n. (CEG 2)$eaccedunt addenda et corrigenda ad CEG 1$gedidit Petrus Allanus Hansen 210 $aBerolini [etc.]$cW. de Gruyter$d1989 215 $aXVII,358 p.$d23 cm. 225 2 $aTexte und Kommentare$v15 410 0$12001$aTexte und Kommentare$v15 454 1$12001 461 1$1001-------$12001 676 $a881 702 1$aHANSEN,$bPeter Allan 801 0$aIT$bsalbc$gISBD 912 $a990006096020203316 951 $aAE 459$b1980 DSA 959 $aBK 969 $aDSA 979 $aDSA$b90$c20151104$lUSA01$h1357 996 $aCarmina epigraphica Graeca$9284068 997 $aUNISA LEADER 02314nam2 22004693i 450 001 RAV0224313 005 20251003044327.0 010 $a8823001048 100 $a19960702d1993 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aRicomporre i tempi$etra orari di lavoro, convenzioni sociali ed esigenze individuali: la difficile costruzione dell'identita$fAnna Tempia 210 $aRoma$cEDIESSE$d[1993] 215 $a80 p.$d21 cm 300 $aIn custodia 300 $aQuesto v. fa parte di una serie di otto titoli realizzati nell'ambito del Progetto La cultura delle pari opportunita diretto da Giovanna Altieri, Fiorella Farinelli e Saul Meghnagi. 312 $aTit. del cofanetto.: ˆLa ‰cultura delle pari opportunità.$9RAV0325747 461 1$1001UFI0156936$12001 $aˆLa ‰cultura delle pari opportunita$e le donne nella storia, nel lavoro, nella societa$f a cura di Giovanna Altieri, Fiorella Farinelli e Saul Meghnagi 517 1 $aˆLa ‰cultura delle pari opportunità.$9RAV0325747 606 $aOrario di lavoro$2FIR$3CFIC014513$9I 676 $a304.23$9ECOLOGIA UMANA. FATTORI GEOGRAFICI, SPAZIALI, TEMPORALI$v21 676 $a331.257$9ORARI DI LAVORO$v23 676 $a331.4$9DONNE LAVORATRICI$v20 676 $a331.4257$9$v20 696 $aOre lavorative$aOre di lavoro$aOrari lavorativi 699 $aOrario di lavoro$yOre lavorative 699 $aOrario di lavoro$yOre di lavoro 699 $aOrario di lavoro$yOrari lavorativi 700 1$aTempia$b, Anna$3BVEV004546$4070$0263771 790 1$aTempia Bonda$b, Anna$3BVEV291084$zTempia, Anna 801 3$aIT$bIT-000000$c19960702 850 $aIT-BN0095 $aIT-NA0079 901 $bNAP BN$cSOG.FEM. $n$ 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aRAV0224313 950 2$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON 7348$e 0101 0000089955E VMA 1 v.$fB $h20080630$i20080630 977 $a 01$a BN 996 $aRicomporre i tempi$91381843 997 $aUNISANNIO LEADER 03334nam 22006615 450 001 996655267203316 005 20250430130233.0 010 $a3-031-90660-8 024 7 $a10.1007/978-3-031-90660-2 035 $a(CKB)38672342300041 035 $a(DE-He213)978-3-031-90660-2 035 $a(MiAaPQ)EBC32077043 035 $a(Au-PeEL)EBL32077043 035 $a(EXLCZ)9938672342300041 100 $a20250430d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTools and Algorithms for the Construction and Analysis of Systems $e31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3?8, 2025, Proceedings, Part III /$fedited by Arie Gurfinkel, Marijn Heule 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XXI, 269 p. 132 illus., 105 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15698 311 08$a3-031-90659-4 330 $aThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15698 606 $aComputer science 606 $aMicroprogramming 606 $aComputer networks 606 $aComputer simulation 606 $aSoftware engineering 606 $aTheory of Computation 606 $aControl Structures and Microprogramming 606 $aComputer Communication Networks 606 $aComputer Modelling 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMicroprogramming. 615 0$aComputer networks. 615 0$aComputer simulation. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Communication Networks. 615 24$aComputer Modelling. 615 24$aSoftware Engineering. 676 $a004.0151 702 $aGurfinkel$b Arie$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHeule$b Marijn$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996655267203316 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNISA