Ciardo, Gianfranco.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Transactions on petri nets and other models of concurrency XVII
by:
Koutny, Maciej.; Ciardo, Gianfranco.; SpringerLink (Online service); Bergenthum, Robin.
(書目-電子資源)
Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings /
by:
Ciardo, Gianfranco.; Darondeau, Philippe.; SpringerLink (Online service); International Conference on Applications and Theory of Petri Nets (2005 :)
(書目-語言資料,印刷品)
Application and theory of petri nets and concurrency = 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings /
by:
Ciardo, Gianfranco.; Kindler, Ekkart.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Computer multitasking.
Data Structures and Information Theory.
Logics and Meanings of Programs.
Operating Systems.
Petri nets
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Petri nets.
Computer Engineering and Networks.
Petri nets- Congresses.
Business Information Systems.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.