語系
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.
Systems and Data Security.
Data Structures and Information Theory.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computers and Society.
Computer Communication Networks.
Coding and Information Theory.
Software engineering.
Computer networks
Data structures (Computer science).
Data encryption (Computer science)
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer security.
Logic programming
Computer software
Management of Computing and Information Systems.
Computer security