Languages
Abadi, Martin.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.