Languages
Bodden, Eric.
Overview
| Works: | 4 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /
by:
Athanasopoulos, Elias.; SpringerLink (Online service); Bodden, Eric.; Payer, Mathias.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Software composition = 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings /
by:
Bodden, Eric.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Lowe, Welf.; Binder, Walter.
(Language materials, printed)
Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Caballero, Juan.; Athanasopoulos, Elias.; Bodden, Eric.; SpringerLink (Online service)
(Language materials, printed)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
Caballero, Juan.; Athanasopoulos, Elias.; Bodden, Eric.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Software engineering.
Logic Design.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer communication systems.
Computer security
Data encryption (Computer science).
Cryptology.
Computers.
Software engineering
Data encryption (Computer science)
Models and Principles.
Computer software