語系
Hofmann, Martin.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Hofmann, Martin.
(書目-電子資源)
Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers /
by:
Rauschmayer, Axel.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Wirsing, Martin.; Hofmann, Martin.
(書目-電子資源)
主題
Software Engineering.
Management of Computing and Information Systems.
Computer security
Computer software- Validation
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Coding and Information Theory.
Computer networks- Security measures
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer software
Computer software- Verification