語系
Palamidessi, Catuscia.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
Palamidessi, Catuscia.; Workshop on the Preservation of Stability under Discretization ((2001 :); Modersheim, Sebastian.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic programming = 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings /
by:
Palamidessi, Catuscia.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Trustworthy global computing = 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers /
by:
SpringerLink (Online service); Ryan, Mark D.; Workshop on the Preservation of Stability under Discretization ((2001 :); Palamidessi, Catuscia.
(書目-語言資料,印刷品)
The Science of Quantitative Information Flow
by:
Chatzikokolakis, Konstantinos.; Smith, Geoffrey.; SpringerLink (Online service); Palamidessi, Catuscia.; Alvim, Mário S.; Morgan, Carroll.; McIver, Annabelle.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Coding and Information Theory.
Software engineering.
Computer networks
Data structures (Computer science).
Computer Science.
Logic programming
Management of Computing and Information Systems.
Computer security
Computers and Society.
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Computer security.
Computer software