Penczek, Wojciech.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Applications and theory of Petri nets31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
by:
(1998 :); Lilius, Johan.; Penczek, Wojciech.; SpringerLink (Online service)
(書目-電子資源)
Advances in Verification of Time Petri Nets and Timed Automata :A Temporal Logic Approach /
by:
Penczek, Wojciech.; P籀lrola, Agata.
(書目-電子資源)
Transactions on petri nets and other models of concurrency XII
by:
Kleijn, Jetty.; Koutny, Maciej.; Penczek, Wojciech.; SpringerLink (Online service)
(書目-電子資源)
Advances in Verification of Time Petri Nets and Timed AutomataA Temporal Logic Approach /
by:
Penczek, Wojciech.; Pólrola, Agata.
(書目-電子資源)
Transactions on petri nets and other models of concurrency XIII
by:
Koutny, Maciej.; Kristensen, Lars Michael.; Penczek, Wojciech.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Appl.Mathematics/Computational Methods of Engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Petri nets
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Data Structures.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Petri nets.
Data Mining and Knowledge Discovery.
Transportation.
Engineering
Computer Science.
Discrete Mathematics in Computer Science.
Engineering mathematics