語系
Bodden, Eric.
概要
| 作品: | 4 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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