Languages
Wolf, Karsten.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Applications and theory of petri nets30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings /
by:
(1998 :); Franceschinis, Giuliana.; SpringerLink (Online service); Wolf, Karsten.
(Electronic resources)
Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(1998 :); Bruni, Roberto.; SpringerLink (Online service); Wolf, Karsten.
(Electronic resources)
Business process management9th international conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011 : proceedings /
by:
(1998 :); Rinderle-Ma, Stefanie.; SpringerLink (Online service); Toumani, Farouk.; Wolf, Karsten.
(Electronic resources)
Subjects
Web services
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Petri nets
Algorithm Analysis and Problem Complexity.
Business
Formal methods (Computer science)
Management information systems
User Interfaces and Human Computer Interaction.
Computer Appl. in Administrative Data Processing.
Models and Principles.
Information Systems Applications (incl.Internet)
Business Information Systems.
System Performance and Evaluation.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.