語系
Ranise, Silvio.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Data and applications security and privacy XXX[electronic resource] :30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016 : proceedings /
by:
Clark Conference ((2005 :); Ranise, Silvio.; SpringerLink (Online service); Swarup, Vipin.
(書目-電子資源)
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
Clark Conference ((2005 :); Lutz, Carsten.; Ranise, Silvio.; 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.
Internet
Database security
Legal Aspects of Computing.
Computer science
Computer security
Data Encryption.
Logic, Symbolic and mathematical
Computer Science.
Systems and Data Security.
Computers and Society.