語系
Nielson, Flemming.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Principles of security and trust8th International Conference, POST 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings /
by:
(1998 :); Nielson, Flemming.; Sands, David.; SpringerLink (Online service)
(書目-電子資源)
Formal methodsan appetizer /
by:
Nielson, Flemming.; Riis Nielson, Hanne.; SpringerLink (Online service)
(書目-電子資源)
Trustworthy global computing4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(1998 :); Kaklamanis, Christos.; Nielson, Flemming.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Programming Techniques.
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Data encryption (Computer science)
Formal methods (Computer science)
Software engineering.
Computer security
Artificial Intelligence.
Computer networks
Computer Science.
Computer Communication Networks.
Systems and Data Security.
System Performance and Evaluation.
Software protection
Information theory.