LEADER 02985nam  22007095  450 
001 9910483857403321
005 20230222201455.0
010   $a3-319-28766-4
024 7 $a10.1007/978-3-319-28766-9
035   $a(CKB)3780000000096463
035   $a(SSID)ssj0001616920
035   $a(PQKBManifestationID)16347225
035   $a(PQKBTitleCode)TC0001616920
035   $a(PQKBWorkID)14920683
035   $a(PQKB)11542068
035   $a(DE-He213)978-3-319-28766-9
035   $a(MiAaPQ)EBC5595599
035   $a(PPN)191705616
035   $a(EXLCZ)993780000000096463
100   $a20160104d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrustworthy Global Computing $e10th International Symposium, TGC 2015 Madrid, Spain, August 31 ? September 1, 2015 Revised Selected Papers /$fedited by Pierre Ganty, Michele Loreti
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (IX, 163 p. 30 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9533
300   $aIncludes index.
311   $a3-319-28765-6 
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9533
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
702   $aGanty$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLoreti$b Michele$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483857403321
996   $aTrustworthy Global Computing$9771960
997   $aUNINA