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
Computer Communication Networks.
Software engineering.
Computers.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Computer communication systems.
Data encryption (Computer science)
Computer software
Computer science—Mathematics.
Mathematical Logic and Formal Languages.
Data encryption (Computer science).
Software engineering
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logic Design.
Logics and Meanings of Programs.
Algorithms.
Computer Science.
Systems and Data Security.
Math Applications in Computer Science.
Models and Principles.
Data Encryption.
Computer security
Cryptology.