bib.howest.be Zoekresultaten

U zocht naar: Auteur Penczek, Wojciech

1 - 5 van 5

1. Advances in Verification of Time Petri Nets and Timed Automata

Auteur:: Penczek, Wojciech; Pólrola, Agata
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

2. Transactions on Petri Nets and Other Models of Concurrency XII

Auteur:: Koutny; Kleijn, Jetty; Penczek, Wojciech; Zhang, Mingmin
Uitgever:: Springer Berlin Heidelberg 2017
Type:: e-book

3. Transactions on Petri Nets and Other Models of Concurrency XIII

Auteur:: Koutny; Lars Michael Kristensen; Wojciech Penczek; Kristensen, Lars Michael; Penczek, Wojciech
Uitgever:: Springer Berlin Heidelberg 2018
Type:: e-book

4. Applications and Theory of Petri Nets

Auteur:: Lilius, Johan; Kanade, Takeo; Penczek, Wojciech; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

5. Challenging Problems and Solutions in Intelligent Systems

Auteur:: Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny; Guy de Tr?; Jan W. Owsi?ski; Janusz Kacprzyk; S?awomir Zadro?ny; Wojciech Penczek; Grzegorzewski, Przemysław; Kacprzyk, Janusz; Owsiński, Jan W.; Penczek, Wojciech; Zadrożny, Sławomir
Uitgever:: Springer International Publishing 2016
Type:: e-book