大葉大學圖書館 |

登入

回首頁

Trustworthy global computing[electro...

Clark Conference ((2005 :)

Trustworthy global computing[electronic resource] :10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.8
書名/作者:	Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers // edited by Pierre Ganty, Michele Loreti.
其他題名:	TGC 2015
其他作者:	Ganty, Pierre.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	ix, 163 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Computer security
標題:	Computer networks - Handbooks, manuals, etc. - Security measures
標題:	Computer software - Congresses. - Validation
標題:	Computer software - Congresses. - Verification
標題:	Computer Science.
標題:	Systems and Data Security.
標題:	Mathematical Logic and Formal Languages.
標題:	Information Systems Applications (incl. Internet)
標題:	Computer Systems Organization and Communication Networks.
ISBN:	9783319287669
ISBN:	9783319287652
摘要、提要註:	This 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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-28766-9

Trustworthy global computing[electronic resource] :10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
Trustworthy global computing10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /[electronic resource] :TGC 2015edited by Pierre Ganty, Michele Loreti. - Cham :Springer International Publishing :2016. - ix, 163 p. :ill., digital ;24 cm. - Lecture notes in computer science,95330302-9743 ;. - Lecture notes in computer science ;7103..

This 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.

ISBN: 9783319287669

Standard No.: 10.1007/978-3-319-28766-9doiSubjects--Topical Terms:

158051
Computer security

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Trustworthy global computing[electronic resource] :10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
LDR:01656nam a2200337 a 4500 001 456057
003 DE-He213
005 20160817143553.0
006 m d
007 cr nn 008maaau
008 161227s2016 gw s 0 eng d
020 $a 9783319287669 $q (electronic bk.)
020 $a 9783319287652 $q (paper)
024 7 $a 10.1007/978-3-319-28766-9 $2 doi
035 $a 978-3-319-28766-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25
072 7 $a UR $2 bicssc
072 7 $a UTN $2 bicssc
072 7 $a COM053000 $2 bisacsh
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b T356 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Trustworthy global computing $h [electronic resource] : $b 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers / $c edited by Pierre Ganty, Michele Loreti.
246 3 $a TGC 2015
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a ix, 163 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9533
520 $a This 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.
650 0 $a Computer security $3 158051
650 0 $a Computer networks $x Security measures $v Handbooks, manuals, etc. $3 350968
650 0 $a Computer software $x Validation $v Congresses. $3 615911
650 0 $a Computer software $x Verification $v Congresses. $3 466241
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Systems and Data Security. $3 466229
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 2 4 $a Information Systems Applications (incl. Internet) $3 463679
650 2 4 $a Computer Systems Organization and Communication Networks. $3 463914
700 1 $a Ganty, Pierre. $3 654943
700 1 $a Loreti, Michele. $3 654944
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-28766-9
950 $a Computer Science (Springer-11645)

筆 0 讀者評論

多媒體

多媒體檔案
http://dx.doi.org/10.1007/978-3-319-28766-9

評論

新增評論分享你的心得

Export

取書館別