LEADER 01346nam--2200385---450 001 990002926400203316 005 20210803153640.0 035 $a000292640 035 $aUSA01000292640 035 $a(ALEPH)000292640USA01 035 $a000292640 100 $a20070517d1973----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aDalla dittatura alla democrazia$ela Germania e l'Italia nell'epoca dopo il 1943$econferenze della 9. riunione italo-tedesca degli storici, Salerno 15-17 giugno 1971 210 $aBrauschweig$cA. Limbach$dstampa 1973 215 $a96 p.$d24 cm 225 2 $aPubblicazioni dell' Istituto internazionale per il libro scolastico 410 0$12001$aPubblicazioni dell' Istituto internazionale per il libro scolastico 454 1$12001 461 1$1001-------$12001 606 0 $aStoria$z1943-1963$xInsegnamento$xCongressi$z1971 676 $a940.55 710 02$aRiunione italo-tedesca degli storici <9 ; 1971 ;Salerno>$0597111 801 0$aIT$bsalbc$gISBD 912 $a990002926400203316 951 $aA III a 11$b2797 DLM$cA III 951 $aVI.7.B. 2504$b02006 ISLA$cVI.7.$d545883 959 $aBK 969 $aDILAM 969 $aISLA 979 $aDILAM$b90$c20070517$lUSA01$h0922 996 $aDalla dittatura alla democrazia$91029630 997 $aUNISA 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 LEADER 01250nam a22002771i 4500 001 991002740789707536 005 20030804155332.0 008 030925s1979 fi a||||||||||||||||eng 020 $a951410353X 035 $ab12332148-39ule_inst 035 $aARCHE-037968$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a361.65 100 1 $aHeiskanen, Heikki$0454474 245 10$aFrom subjective welfare to social value :$baxiology in methodological and philosophical perspective /$cHeikki Heiskanen, Timo Airaksinen 260 $aHelsinki :$bSuomalainen Tiedeakatemia,$c1979 300 $a184 p. :$bill. ;$c25 cm 440 0$aSuomalaisen tiedeakatemian toimituksia = Annales academiæ scientiarum fennicae.$pHumaniora ;$v201 650 4$aSvezia$xPolitica sociale 700 1 $aAiraksinen, Timo$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0455384 907 $a.b12332148$b02-04-14$c08-10-03 912 $a991002740789707536 945 $aLE002 D Ann. 504/201$g1$i2002000137968$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12732849$z08-10-03 996 $aFrom subjective welfare to social value$91458763 997 $aUNISALENTO 998 $ale002$b08-10-03$cm$da $e-$feng$gfi $h0$i1