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