Etalle, Sandro.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic Based Program Synthesis and Transformation14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(1998 :); Etalle, Sandro.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of security and trust7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; Etalle, Sandro.; Guttman, Joshua.; SpringerLink (Online service)
(書目-電子資源)
Logic Programming (vol. # 4079)22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(1998 :); Etalle, Sandro.; SpringerLink (Online service); Truszczynski, Miroslav.
(書目-電子資源)
Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(1998 :); Barthe, Gilles.; Datta, Anupam.; Etalle, Sandro.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Data protection
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Data encryption (Computer science)
Computer security
Data Encryption.
Computer Science.
Public key infrastructure (Computer security)
Computer Communication Networks.
Systems and Data Security.
Computers and Society.