言語
Abadi, Martin.
概観
著作: | 1 作品に 2 出版物中に 1 言語 |
---|
タイトル
Principles of security and trust[electronic resource] :Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
…で:
Abadi, Martin.; Clark Conference ((2005 :); Kremer, Steve.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Trustworthy global computing[electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
…で:
Abadi, Martin.; Clark Conference ((2005 :); Lluch Lafuente, Alberto.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Mathematical Logic and Formal Languages.
Computer software
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Computer security
Data Encryption.
Computer networks
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer Communication Networks.
e-Commerce/e-business.