Languages
Hofmann, Martin.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Language materials, printed)
A holistic approach to process optimisation = tools and practical examples to create efficient workflows /
by:
Hofmann, Martin.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.