語系
Abadi, Martin.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Abadi, Martin.; SpringerLink (Online service); Lluch Lafuente, Alberto.
(書目-語言資料,印刷品)
Principles of security and trust = 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 /
by:
SpringerLink (Online service); Abadi, Martin.; Kremer, Steve.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); De Alfaro, Luca.; Abadi, Martin.
(書目-語言資料,印刷品)
主題
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Multitasking (Computer science)
Computer networks
Computer Science.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Computer security
e-Commerce/e-business.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.
Computer software