bib.howest.be Search Results

You searched for: Auteur Penczek, Wojciech

1 - 5 of 5

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

Author:: Penczek, Wojciech; Pólrola, Agata
Publisher:: Springer Berlin Heidelberg 2006
Format:: e-book

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

Author:: Koutny; Kleijn, Jetty; Penczek, Wojciech; Zhang, Mingmin
Publisher:: Springer Berlin Heidelberg 2017
Format:: e-book

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

Author:: Koutny; Lars Michael Kristensen; Wojciech Penczek; Kristensen, Lars Michael; Penczek, Wojciech
Publisher:: Springer Berlin Heidelberg 2018
Format:: e-book

4. Applications and Theory of Petri Nets

Author:: Lilius, Johan; Kanade, Takeo; Penczek, Wojciech; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2010
Format:: e-book

5. Challenging Problems and Solutions in Intelligent Systems

Author:: 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
Publisher:: Springer International Publishing 2016
Format:: e-book