語系
Draheim, Dirk.
概要
| 作品: | 882 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Generalized Jeffrey conditionalization = a Frequentist Semantics of Partial Conditionalization /
by:
Draheim, Dirk.; SpringerLink (Online service)
(書目-電子資源)
Semantics of the probabilistic typed lambda calculus = Markov chain semantics, termination behavior, and denotational semantics /
by:
Draheim, Dirk.; SpringerLink (Online service)
(書目-電子資源)
Form-Oriented Analysis = A New Methodology to Model Form-Based Applications /
by:
Weber, Gerald.; SpringerLink (Online service); Draheim, Dirk.
(書目-語言資料,印刷品)
Business process technology = a unified view on business processes, workflows and enterprise applications /
by:
Draheim, Dirk.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
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.