Koutny, Maciej.
Overview
| Works: | 5 works in 8 publications in 1 languages | |
|---|---|---|
Titles
Transactions on petri nets and other models of concurrency XVII
by:
Koutny, Maciej.; SpringerLink (Online service); Ciardo, Gianfranco.; Bergenthum, Robin.
(Electronic resources)
CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
Koutny, Maciej.; Ulidowski, Irek.; SpringerLink (Online service)
(Electronic resources)
Transactions on petri nets and other models of concurrency XVI
by:
Koutny, Maciej.; SpringerLink (Online service); International Conference on Application and Theory of Petri Nets and Concurrency (2020 :); Kordon, Fabrice.; Moldt, Daniel.; International Conference on Application of Concurrency to System Design (2020 :)
(Electronic resources)
Transactions on petri nets and other models of concurrency X
by:
Koutny, Maciej.; Haddad, Serge.; SpringerLink (Online service); Desel, Jorg.
(Electronic resources)
Transactions on petri nets and other models of concurrency XV
by:
Koutny, Maciej.; SpringerLink (Online service); Kordon, Fabrice.; Pomello, Lucia.
(Electronic resources)
Applications and theory of petri nets 2001 = 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings /
by:
Colom, Jose-Manuel.; Koutny, Maciej.; SpringerLink (Online service); International Conference on Applications and Theory of Petri Nets (2001 :)
(Language materials, printed)
Transactions on petri nets and other models of concurrency XI
by:
Koutny, Maciej.; SpringerLink (Online service); Desel, Jorg.; Kleijn, Jetty.
(Electronic resources)
Transactions on petri nets and other models of concurrency IX
by:
Koutny, Maciej.; Haddad, Serge.; SpringerLink (Online service); Yakovlev, Alex.
(Electronic resources)
Transactions on petri nets and other models of concurrency XII
by:
SpringerLink (Online service); Koutny, Maciej.; Penczek, Wojciech.; Kleijn, Jetty.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Theory of Computation.
Data Structures and Information Theory.
Computer multitasking.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Petri nets
Algorithm Analysis and Problem Complexity.
Data Structures.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Computer science- Mathematics
Software engineering.
Petri nets.
Computer multitasking
Computer Engineering and Networks.
Petri nets- Congresses.
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
Computer science.
Discrete Mathematics in Computer Science.
Computer Systems Organization and Communication Networks.