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