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