Yazar
Wojciech Penczek
7 cilt bulundu.
Cilt sonuçları
Advances in verification of time petri nets and timed automata
Wojciech Penczek, Agata Pólrola · Springer London, Limited
291 sayfa · 2006
Real-time control / Petri nets / Real-time data processing
Challenging Problems and Solutions in Intelligent Systems
Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny · Springer
354 sayfa · 2016
Artificial intelligence
Half a century of inspirational research
Wojciech Penczek, Grzegorz Rozenberg · IOS Press
332 sayfa · 2007
Machine theory / Computer programming / Influence / Computer science