言語
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 /
…で:
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 /
…で:
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.