Languages
Draheim, Dirk.
Overview
| Works: | 922 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Generalized Jeffrey conditionalization = a Frequentist Semantics of Partial Conditionalization /
by:
Draheim, Dirk.; SpringerLink (Online service)
(Electronic resources)
Semantics of the probabilistic typed lambda calculus = Markov chain semantics, termination behavior, and denotational semantics /
by:
Draheim, Dirk.; SpringerLink (Online service)
(Electronic resources)
Form-Oriented Analysis = A New Methodology to Model Form-Based Applications /
by:
Weber, Gerald.; SpringerLink (Online service); Draheim, Dirk.
(Language materials, printed)
Business process technology = a unified view on business processes, workflows and enterprise applications /
by:
Draheim, Dirk.; SpringerLink (Online service)
(Language materials, printed)
Subjects
System analysis.
Software Engineering.
Input/Output and Data Communications.
Theory of Computation.
Operations Research/Decision Theory.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer Appl. in Administrative Data Processing.
User Interfaces and Human Computer Interaction.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Management information systems.
Conditional expectations (Mathematics)
Business Information Systems.
Information Systems Applications (incl.Internet)
Multimedia Information Systems.
Lambda calculus.
Computer science- Mathematics.
Semantic computing.
Application software.
Computer Science.
Computer Communication Networks.
Probability and Statistics in Computer Science.
Mathematics- Data processing.