Draheim, Dirk.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Business process technologya unified view on business processes, workflows and enterprise applications /
by:
Draheim, Dirk.; SpringerLink (Online service)
(Electronic resources)
Form-Oriented Analysis :A New Methodology to Model Form-Based Applications /
by:
Draheim, Dirk.; Weber, Gerald.
(Electronic resources)
Trends in Enterprise Application ArchitectureVLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers /
by:
(1998 :); Draheim, Dirk.; SpringerLink (Online service); Weber, Gerald.
(Electronic resources)
Semantics of the probabilistic typed lambda calculusMarkov chain semantics, termination behavior, and denotational semantics /
by:
Draheim, Dirk.; SpringerLink (Online service)
(Electronic resources)
Generalized Jeffrey conditionalizationa Frequentist Semantics of Partial Conditionalization /
by:
Draheim, Dirk.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Computer Appl. in Administrative Data Processing
Input/Output and Data Communications.
Theory of Computation.
Operations Research/Decision Theory.
Business enterprises
Software Engineering/Programming and Operating Systems.
Mathematics
Logics and Meanings of Programs.
Database Management.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer Science
Business Information Systems
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Electronic Commerce/e-business.
Management information systems.
Conditional expectations (Mathematics)
Information systems
Computer science
Information Systems Applications (incl.Internet)
Multimedia Information Systems.
Lambda calculus.
Semantic computing.
Manasgement information systems
User Interfaces and Human Computer Interaction
Application software
Computer Science.
Computer Communication Networks.
Computers and Society.
Probability and Statistics in Computer Science.
Software Engineering
Models and Principles