Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics von Draheim, Dirk

Volltext öffnen

Generalized Jeffrey conditionalization a frequentist semantics of partial conditionalization von Draheim, Dirk

Volltext öffnen Volltext öffnen

Semantics of the probabilistic typed lambda calculus Markov chain semantics, termination behavior, and denotational semantics von Draheim, Dirk 1969-

Business Process Technology a unified view on business processes, workflows and enterprise applications von Draheim, Dirk

Volltext öffnen

Business process technology a unified view on business processes, workflows and enterprise applications von Draheim, Dirk

Typed server pages von Draheim, Dirk

Volltext öffnen

An introduction to form storyboarding von Draheim, Dirk, Weber, Gerald

An introduction to state history diagrams von Draheim, Dirk, Weber, Gerald

Searching and classifying differential equations on the web von Draheim, Dirk, Neun, Winfried, Suliman, Dima

Typed server pages von Draheim, Dirk

Form charts and dialogues constraints von Draheim, Dirk, Weber, Gerald

The definition of the NSP type system von Draheim, Dirk, Fehr, Elfriede 1950-, Weber, Gerald

Form oriented analysis a new methodology to model form-based applications ; with 83 figures von Draheim, Dirk, Weber, Gerald

Inhaltsverzeichnis

Searching and classifying differential equations on the Web von Draheim, Dirk, Neun, Winfried, Suliman, Dima

Analytical processing of version control data towards a process centric viewpoint von Draheim, Dirk, Pekacki, Lukasz

Strongly complex typed, dialogue oriented server pages von Draheim, Dirk, Weber, Gerald

An overview of state of the art architectures for active web sites von Draheim, Dirk, Weber, Gerald

Trends in enterprise application architecture revised selected papers

Weitere Verfasser: “… Draheim, Dirk …”
Beschreibung