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