|
|
|
1. |
|
Challenging Problems and Solutions in Intelligent Systems
Guy De Tr, Przemysaw Grzegorzewski, Janusz Kacprzyk, Jan W Owsiski, Wojciech Penczek
Inbunden. Springer International Publishing AG, Schweiz, 2016.
|
|
2. |
|
Challenging Problems and Solutions in Intelligent Systems
Guy De Tre, Przemyslaw Grzegorzewski, Janusz Kacprzyk, Jan W Owsinski, Wojciech Penczek
E-bok. Springer International Publishing, Schweiz, 2016.
|
|
3. |
|
Challenging Problems and Solutions in Intelligent Systems
Guy De Tr, Przemysaw Grzegorzewski, Janusz Kacprzyk, Jan W Owsiski, Wojciech Penczek
Häftad. Springer International Publishing AG, Schweiz, 2018.
|
|
4. |
|
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Plrola
Inbunden. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2006.
|
|
5. |
|
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Polrola
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
6. |
|
Mathematical Foundations of Computer Science 1996
Wojciech Penczek, Andrzej Szalas
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1996.
|
|
7. |
|
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Plrola
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2010.
|
|
8. |
|
Applications and Theory of Petri Nets
Johan Lilius, Wojciech Penczek
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2010.
|
|
9. |
|
Applications and Theory of Petri Nets
Johan Lilius, Wojciech Penczek
E-bok. Springer Berlin Heidelberg, Tyskland, 2010.
|
|
10. |
|
Transactions on Petri Nets and Other Models of Concurrency XII
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2017.
|
|
11. |
|
Transactions on Petri Nets and Other Models of Concurrency XII
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
E-bok. Springer Berlin Heidelberg, Tyskland, 2017.
|
|
12. |
|
Transactions on Petri Nets and Other Models of Concurrency XIII
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2018.
|
|
13. |
|
Transactions on Petri Nets and Other Models of Concurrency XIII
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
E-bok. Springer Berlin Heidelberg, Tyskland, 2018.
|
|
|
|