LIBROS DEL AUTOR: dirk draheim

4 resultados para LIBROS DEL AUTOR: dirk draheim

dirk draheim Eliminar filtro Quitar filtros
  • Semantics of the Probabilistic Typed Lambda Calculus
    Dirk Draheim
    This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic choice.The book starts with a recapitulation of the basic mathematical tools needed throughout the book, in particular Markov chain...
    Disponible

    158,82 €

  • Generalized Jeffrey Conditionalization
    Dirk Draheim
    This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of classical conditional probability via so-called probability testbeds. It analyzes the resulting partial conditionalization, called frequentist partial (F.P.) conditionalization, from different angles, i.e., with respect to partitions...
    Disponible

    67,11 €

  • Business Process Technology
    Dirk Draheim
    Currently, we see a variety of tools and techniques for specifying and implementing business processes. The problem is that there are still gaps and tensions between the different disciplines needed to improve business process execution and improvement in enterprises. Business process modeling, workflow execution and application programming are examples of disciplines that are ...
    Disponible

    66,12 €

  • Form-Oriented Analysis
    Dirk Draheim / Gerald Weber
    Part I - Modeling Form-Based Systems 1) Introduction 2) Motivation: Ubiquity of Form-Based Systems 3) Exploring the Online Bookshop 4) Form Charts and Dialogue Specification 5) Data Modeling 6) Message-Based Modeling of Data Interchange 7) A Comparison of Modeling Methods Part II - Employing Form Orientation 8) A Descriptive Approach 9) Model Decomposition and Refinement 10) Re...
    Disponible

    169,10 €