語系
Koutny, Maciej.
概要
| 作品: | 4 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Ulidowski, Irek.; Koutny, Maciej.; SpringerLink (Online service)
(書目-電子資源)
Transactions on Petri nets and other models of concurrency IV
by:
Koutny, Maciej.; SpringerLink (Online service); Donatelli, Susanna.; Jensen, Kurt.
(書目-電子資源)
Transactions on petri nets and other models of concurrency III
by:
Billington, Jonathan.; SpringerLink (Online service); Koutny, Maciej.; Jensen, Kurt.
(書目-電子資源)
主題
Software Engineering.
Petri nets
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Simulation and Modeling.
Theory of Computation.
Computer Science.
Computer multitasking
Programming Techniques.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages.