Wojciech Penczek | Booky.fi

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach

Penczek, Wojciech; Pólrola, Agata
Springer
2006
Kovakantinen kirja

137,30 €

Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 -

Penczek, Wojciech; Szalas, Andrzej
Springer
1996
Pehmeäkantinen kirja

100,90 €

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach

Penczek, Wojciech; Pólrola, Agata
Springer
2010
Pehmeäkantinen kirja

137,30 €

Applications and Theory of Petri Nets - 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proce

Lilius, Johan; Penczek, Wojciech
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Challenging Problems and Solutions in Intelligent Systems

Trė, Guy de; Grzegorzewski, Przemysław; Kacprzyk, Janusz; Owsiński, Jan W.; Penczek, Wojciech; Zadrożny, Sławomir
Springer International Publishing AG
2016
Kovakantinen kirja

100,90 €

Transactions on Petri Nets and Other Models of Concurrency XII

Koutny, Maciej; Kleijn, Jetty; Penczek, Wojciech; Zhang, Mingmin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2017
Pehmeäkantinen kirja

51,10 €

Transactions on Petri Nets and Other Models of Concurrency XIII

Koutny, Maciej; Kristensen, Lars Michael; Penczek, Wojciech
Springer
2018
Pehmeäkantinen kirja

51,10 €

Challenging Problems and Solutions in Intelligent Systems

Trė, Guy de; Grzegorzewski, Przemysław; Kacprzyk, Janusz; Owsiński, Jan W.; Penczek, Wojciech; Zadrożny, Sławomir
Springer International Publishing AG
2018
Pehmeäkantinen kirja

100,90 €