The Leading eBooks Store Online

4,130,202 members ⚫ 1,348,641 ebooks

New to

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
  • 1
  • Page

Most popular at the top

  • Semantics of the Probabilistic Typed Lambda Calculusby Dirk Draheim

    Springer Berlin Heidelberg 2017; US$ 103.95

    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... more...

  • Generalized Jeffrey Conditionalizationby Dirk Draheim

    Springer International Publishing 2017; US$ 52.58

    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.,... more...

  • Form-Oriented Analysisby Dirk Draheim; Gerald Weber

    Springer Berlin Heidelberg 2005; US$ 110.07

    Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a modeling framework optimized for this broad application domain. They introduce new modeling artifacts, such as page diagrams and form storyboards, and separate... more...

  • Trends in Enterprise Application Architectureby Dirk Draheim; Gerald Weber

    Springer Berlin Heidelberg 2007; US$ 81.93

    This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues in enterprise application architecture and proposes as well as evaluates a solution. Topics of interest include model driven architecture, enterprise development environments,... more...

  • Business Process Technologyby Colin Atkinson; Dirk Draheim

    Springer Berlin Heidelberg 2010; US$ 81.93

    There are many tools and techniques for specifying and implementing business processes, but gaps still exist between the different disciplines needed to improve business process execution. This book approaches a systemization of the business processing field. more...

  • 1
  • Page