語系
Jensen, Kurt.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Transactions on petri nets and other models of concurrency I
by:
(1998 :); Aalst, Wil M. P.; Billington, Jonathan.; Jensen, Kurt.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency VI
by:
Jensen, Kurt.; SpringerLink (Online service)
(書目-電子資源)
Coloured petri netsmodelling and validation of concurrent systems /
by:
Jensen, Kurt.; Kristensen, Lars M.; SpringerLink (Online service)
(書目-電子資源)
Transactions on Petri nets and other models of concurrency IV
by:
Donatelli, Susanna.; Jensen, Kurt.; Koutny, Maciej.; SpringerLink (Online service)
(書目-電子資源)
Transactions on petri nets and other models of concurrency V
by:
Donatelli, Susanna.; Jensen, Kurt.; Kleijn, Jetty.; SpringerLink (Online service)
(書目-電子資源)
Transactions on petri nets and other models of concurrency III
by:
Billington, Jonathan.; Jensen, Kurt.; Koutny, Maciej.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer Science, general.
Software Engineering.
Theory of Computation.
Mathematical Logic and Formal Languages.
Petri nets
Multitasking (Computer science)
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Petri nets.
Programming Languages, Compilers, Interpreters.
Computer multitasking
Models and Principles.
Parallel processing (Electronic computers)
Computer Science.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Computer Communication Networks.
System Performance and Evaluation.