語系
Hofmann, Martin.
概要
| 作品: | 0 作品在 1 項出版品 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:
Hofmann, Martin.; SpringerLink (Online service)
(書目-電子資源)
Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers /
by:
Hofmann, Martin.; Rauschmayer, Axel.; Wirsing, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
A holistic approach to process optimisation = tools and practical examples to create efficient workflows /
by:
Hofmann, Martin.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Organization.
Business Process Management.
Computer software- Validation
Logics and Meanings of Programs.
Operations research.
Management science.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Computer software
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Computer networks- Security measures
Coding and Information Theory.
Computer security
Data Encryption.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Project Management.