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