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