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