語系
Nielson, Flemming.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Formal Methods = An Appetizer /
by:
Riis Nielson, Hanne.; SpringerLink (Online service); Nielson, Flemming.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal methods = an appetizer /
by:
Nielson, Flemming.; Riis Nielson, Hanne.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
Nielson, Flemming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kaklamanis, Christos.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Principles of Security and Trust = 8th 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:
Sands, David.; SpringerLink (Online service); Nielson, Flemming.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Formal methods (Computer science)
Systems and Data Security.
Software Engineering/Programming and Operating Systems.
Artificial intelligence.
Computer Communication Networks.
Information theory.
Software engineering.
System Performance and Evaluation.
Software protection
Theory of Computation.
Computer networks
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Computer security
Artificial Intelligence.
Computing Milieux.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Computer security.
Computer software