Languages
Ranise, Silvio.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
Lutz, Carsten.; Ranise, Silvio.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.