語系
Abadi, Martin.
概要
| 作品: | 194 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
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:
Abadi, Martin.; SpringerLink (Online service); Kremer, Steve.
(書目-電子資源)
Theoretical aspects of computer software = Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings /
by:
Abadi, Martin.; Ito Takayasu.; SpringerLink (Online service); TACS '97 ((1997 :)
(書目-語言資料,印刷品)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
Abadi, Martin.; De Alfaro, Luca.; SpringerLink (Online service); International Conference on Concurrency Theory (2005 :)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software- Validation
Multitasking (Computer science)
Parallel processing (Electronic computers)- Congresses.
Computation by Abstract Devices.
Programming Techniques.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer networks- Security measures
Computer software- Congresses.
Computer security
Data Encryption.
Computer Science.
Computer Communication Networks.
Computer software- Verification
Systems and Data Security.
Computer Systems Organization and Communication Networks.
e-Commerce/e-business.