語系
Wolf, Karsten.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
主題
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