語系
Cuellar, Jorge.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Smart grid securitySecond International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014 : revised selected papers /
by:
(1998 :); Cuellar, Jorge.; SpringerLink (Online service)
(書目-電子資源)
FM 2008: Formal Methods15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(1998 :); Cuellar, Jorge.; Maibaum, Tom.; Sere, Kaisa.; SpringerLink (Online service)
(書目-電子資源)
Security and trust management6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, revised selected papers /
by:
(1998 :); Cuellar, Jorge.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Operating Systems.
System design
Programming Languages, Compilers, Interpreters.
Smart power grids
Computer security
Data Encryption.
Formal methods(Computer science)
Computer Science.
Computer Communication Networks.
Computers and Society.
Systems and Data Security.