語系
Ranise, Silvio.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
Lutz, Carsten.; Ranise, Silvio.; SpringerLink (Online service)
(書目-電子資源)
Data and applications security and privacy XXX = 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016 : proceedings /
by:
Ranise, Silvio.; Swarup, Vipin.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Data protection
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Information Storage and Retrieval.
Database security
Legal Aspects of Computing.
Computer science
Computer security
Internet- Security measures
Data Encryption.
Logic, Symbolic and mathematical
Computer Science.
Systems and Data Security.
Computers and Society.