LEADER 00974nam0-22003491i-450- 001 990003752730403321 005 20040204144218.0 010 $a88-417-5018-9 035 $a000375273 035 $aFED01000375273 035 $a(Aleph)000375273FED01 035 $a000375273 100 $a20030910d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>lavoro sessuato$edonne e uomini nelle organizzazioni$fPaola Piva 205 $a1. ed. 210 $aMilano$cAnabasi$d1994 215 $a205 p.$d21 cm 225 1 $aClinamen$v18 610 0 $aOrganizzazione$aDifferenze di genere$aAspetti sociali 610 0 $aDonne lavoratrici$aDifferenze di genere 676 $a302.35 676 $a305.43 700 1$aPiva,$bPaola$0142436 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003752730403321 952 $a302.35 PIV 1$b7432$fBFS 959 $aBFS 996 $aLavoro sessuato$9508556 997 $aUNINA LEADER 01269nam a2200313 i 4500 001 991000825139707536 008 050211r2004 it l 000 0 ita d 020 $a8888529101 035 $ab13278733-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 0 $a343.078690 082 0 $a346.45045 100 1 $aDe Vita, Marco$0421339 245 13$aIl Testo Unico e la "super d.i.a." in materia di urbanistica ed edilizia /$cMarco De Vita 260 $aMatelica :$bHalley informatica,$cstampa2002 300 $a96 p. ;$c24 cm 440 0$aAppunti Halley 500 $aContiene: Appendice 500 $a1. ristampa 650 4$aEdilizia$xLegislazione 650 4$aUrbanistica$xLegislazione 650 4$aCivil law$zItaly 907 $a.b13278733$b23-02-12$c11-02-05 912 $a991000825139707536 945 $aLE026 346.45045 DEV 01.01 2002$g1$i2026000021775$lle026$nCasa Editrice Halley / Dono$og$pE21.85$q-$rl$s- $t4$u0$v0$w0$x0$y.i15098710$z25-03-10 945 $aLE027 343.07 DEV01.01$g1$i2027000085125$lle027$og$pE21.50$q-$rl$s- $t0$u1$v0$w1$x0$y.i1400530x$z11-02-05 996 $aTesto Unico e la "super d.i.a." in materia di urbanistica ed edilizia$91002761 997 $aUNISALENTO 998 $ale026$ale027$b11-02-05$cm$da $e-$fita$git $h3$i0 LEADER 05167nam 22007335 450 001 9910349276103321 005 20251225190604.0 010 $a3-030-32079-0 024 7 $a10.1007/978-3-030-32079-9 035 $a(CKB)4100000009453391 035 $a(DE-He213)978-3-030-32079-9 035 $a(MiAaPQ)EBC5927736 035 $a(PPN)24282384X 035 $a(EXLCZ)994100000009453391 100 $a20191003d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRuntime Verification $e19th International Conference, RV 2019, Porto, Portugal, October 8?11, 2019, Proceedings /$fedited by Bernd Finkbeiner, Leonardo Mariani 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (X, 413 p. 377 illus., 58 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11757 311 08$a3-030-32078-2 327 $aA Retrospective Look at the Monitoring and Checking (MaC) Framework -- Introspective Environment Modeling -- Robustness of Specifications and its applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo -- On the Runtime Enforcement of Timed Properties -- Algorithms for Monitoring Hyperproperties -- Stream-based Monitors for Real-time Properties -- Accelerated Learning of Predictive Runtime Monitors for Rare Failure -- Neural Predictive Monitoring -- Comparing Controlled System Synthesis and Suppression Enforcement -- Assumption-Based Runtime Verification with Partial Observability and Resets -- Decentralized Stream Runtime Verification -- Explaining Violations of Properties in Control-Flow Temporal Logic -- FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation -- An Extension of LTL with Rules and its Application to Runtime Verification -- Monitorability Over Unreliable Channels -- Runtime Verification For Timed Event Streams With Partial Information -- Shape Expressions for Specifying and Extracting Signal Features -- A Formally Verified Monitor for Metric First-Order Temporal Logic -- Efficient Detection and Quantification of Timing Leaks with Neural Networks -- Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs -- Reactive Control Meets Runtime Verification: A Case Study of Navigation -- Overhead-aware deployment of runtime monitors -- NuRV: a nuXmv Extension for Runtime Verification -- AllenRV: an extensible monitor for multiple complex specifications with high reactivity -- Timescales: A Benchmark Generator for Metric Temporal Logic. 330 $aThis book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter ?Assumption-Based Runtime Verification with Partial Observability and Resets? and chapter ?NuRV: a nuXmv Extension for Runtime Verification? are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11757 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aElectronic digital computers$xEvaluation 606 $aAlgorithms 606 $aMachine theory 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aElectronic digital computers$xEvaluation. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 676 $a005.14 676 $a005.14 702 $aFinkbeiner$b Bernd$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMariani$b Leonardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349276103321 996 $aRuntime Verification$9772115 997 $aUNINA