語系
Koutny, Maciej.
概要
作品: | 5 作品在 7 項出版品 1 種語言 |
---|
書目資訊
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)
(書目-電子資源)
Transactions on petri nets and other models of concurrency X
by:
Koutny, Maciej.; Desel, Jorg.; Haddad, Serge.; SpringerLink (Online service)
(書目-電子資源)
Transactions on petri nets and other models of concurrency XVI
by:
Koutny, Maciej.; SpringerLink (Online service); International Conference on Application of Concurrency to System Design (2020 :); International Conference on Application and Theory of Petri Nets and Concurrency (2020 :); Kordon, Fabrice.; Moldt, Daniel.
(書目-電子資源)
Transactions on petri nets and other models of concurrency XV
by:
Koutny, Maciej.; SpringerLink (Online service); Kordon, Fabrice.; Pomello, Lucia.
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency XI
by:
Koutny, Maciej.; Desel, Jorg.; Kleijn, Jetty.; SpringerLink (Online service)
(書目-電子資源)
Transactions on petri nets and other models of concurrency IX
by:
Koutny, Maciej.; Haddad, Serge.; Yakovlev, Alex.; SpringerLink (Online service)
(書目-電子資源)
Transactions on petri nets and other models of concurrency XII
by:
Kleijn, Jetty.; SpringerLink (Online service); Koutny, Maciej.; Penczek, Wojciech.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Theory of Computation.
Data Structures and Information Theory.
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.