LEADER 01371cam0-22003851i-450 001 990001611580403321 005 20180524132238.0 035 $a000161158 035 $aFED01000161158 035 $a(Aleph)000161158FED01 035 $a000161158 100 $a20030910d1969----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $aContratti agrari$eaffitti, mezzadria, colonia parziaria, compartecipazione, soccida, enfiteusi, contratti atipici, ecc.$esintesi sistematica e coordinata$enorme del codice civile, leggi speciali, accordi sindacali, direttive ministeriali$eriferimenti alla giurisprudenza$eappendice, il testo delle disposizioni$fAttilio Parlagreco, Giuseppe Cicero 210 $aRoma$cRamo editoriale degli agricoltori$d1969 215 $a148 p.$d20 cm 225 1 $aBiblioteca per l'insegnamento agrario professionale 610 0 $aContratti agrari 676 $a343.076 676 $a346 700 1$aParlagreco,$bAttilio$068240 701 1$aCicero,$bGiuseppe$0352914 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001611580403321 952 $a23-B-54$b1931 civ.$fDDCP 952 $a60 347.235 B 35$b42169$fFAGBC 952 $a60 347.235 B 34$b42168$fFAGBC 952 $aDPR 2- 422$fDEC 959 $aFAGBC 959 $aDDCP 959 $aDEC 996 $aContratti agrari$997296 997 $aUNINA LEADER 04428nam 22007935 450 001 996203275903316 005 20230330052406.0 010 $a3-319-05119-9 024 7 $a10.1007/978-3-319-05119-2 035 $a(CKB)3710000000095004 035 $a(DE-He213)978-3-319-05119-2 035 $a(SSID)ssj0001187598 035 $a(PQKBManifestationID)11697477 035 $a(PQKBTitleCode)TC0001187598 035 $a(PQKBWorkID)11257165 035 $a(PQKB)10257208 035 $a(MiAaPQ)EBC3101095 035 $a(PPN)17782445X 035 $a(EXLCZ)993710000000095004 100 $a20140307d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTrustworthy Global Computing$b[electronic resource] $e8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /$fedited by Martín Abadi, Alberto Lluch Lafuente 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (X, 331 p. 60 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8358 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-05118-0 320 $aIncludes bibliographical references and index. 327 $aContent-Driven Reputation for Collaborative Systems -- Challenges for Quantitative Analysis of Collective Adaptive Systems -- The Scribble Protocol Language -- Dynamic Measurement and Protected Execution: Model and Analysis -- Security Correctness for Secure Nested Transactions -- Types for Resources in Psi-Calculi -- A Sorted Semantic Framework for Applied Process Calculi -- Static Deadlock Resolution in the Pi-Calculus -- Fine-Grained and Coarse-Grained Reactive Noninterference -- Information Flow Analysis for Valued-Indexed Data Security Compartments -- A Library For Removing Cache-Based Attacks in Concurrent Information Flow Systems -- Models, Specifications and Proofs -- Specification of Asynchronous Component Systems with Modal I/O-Petri Nets -- A Formal Model for the Deferred Update Replication Technique -- Studying Operational Models of Relaxed Concurrency -- Certificates and Separation Logic -- On-the-Fly Fast Mean-Field Model-Checking -- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, ?-calculus, information flow, models, specifications and proofs and quantitative analysis. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8358 606 $aData protection 606 $aMachine theory 606 $aApplication software 606 $aComputer engineering 606 $aComputer networks 606 $aData and Information Security 606 $aFormal Languages and Automata Theory 606 $aComputer and Information Systems Applications 606 $aComputer Engineering and Networks 615 0$aData protection. 615 0$aMachine theory. 615 0$aApplication software. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aData and Information Security. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer and Information Systems Applications. 615 24$aComputer Engineering and Networks. 676 $a005.8 686 $aDAT 252f$2stub 686 $aDAT 460f$2stub 686 $aDAT 465f$2stub 686 $aSS 4800$2rvk 702 $aAbadi$b Martín$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLluch Lafuente$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTGC (Symposium) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996203275903316 996 $aTrustworthy Global Computing$9771960 997 $aUNISA