Books · Search
Computer arithmetic
Semantics of the Probabilistic Typed Lambda Calculus
2017
Computer networks · Business enterprises
Trends in enterprise application architecture
2006
Business Process Technology
2010
Application software · System analysis
Form-oriented analysis
2005
Form-Oriented Analysis
Pathways in Software Engineering
2022
Generalized Jeffrey Conditionalization
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
Serviceorientierte Architektur · Web Services
Business process technology
