語系
Etalle, Sandro.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Etalle, Sandro.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
Datta, Anupam.; Workshop on the Preservation of Stability under Discretization ((2001 :); Barthe, Gilles.; Etalle, Sandro.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
SpringerLink (Online service); Etalle, Sandro.; Guttman, Joshua.; Workshop on the Preservation of Stability under Discretization ((2001 :); Degano, Pierpaolo.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
Systems and Data Security.
Data Encryption.
Computer Communication Networks.
Public key infrastructure (Computer security)
Data protection
Computer Science.
Programming Techniques.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Computer security
Computers and Society.
Information Storage and Retrieval.
Data encryption (Computer science)