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