Wojciech Penczek – författare
Visar alla böcker från författaren Wojciech Penczek.
8 produkter
Challenging Problems and Solutions in Intelligent Systems
Av Guy de Trė, Przemysław Grzegorzewski m. fl.
Inbunden, 2016
1469 kr
Lägg i varukorg
Challenging Problems and Solutions in Intelligent Systems
Av Guy de Trė, Przemysław Grzegorzewski m. fl.
Häftad, 2018
1469 kr
Lägg i varukorg
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Av Wojciech Penczek, Agata Pólrola
Inbunden, 2006
2139 kr
Lägg i varukorg
Mathematical Foundations of Computer Science 1996
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
Av Wojciech Penczek, Andrzej Szalas
Häftad, 1996
1469 kr
Lägg i varukorg
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Av Wojciech Penczek, Agata Pólrola
Häftad, 2010
2139 kr
Lägg i varukorg
Applications and Theory of Petri Nets
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
Av Johan Lilius, Wojciech Penczek
Häftad, 2010
739 kr
Lägg i varukorg
Transactions on Petri Nets and Other Models of Concurrency XII
Av Maciej Koutny, Jetty Kleijn m. fl.
Häftad, 2017
739 kr
Lägg i varukorg
Transactions on Petri Nets and Other Models of Concurrency XIII
Av Maciej Koutny, Lars Michael Kristensen m. fl.
Häftad, 2018
719 kr
Lägg i varukorg