Hoppa till sidans huvudinnehåll

Wojciech Penczek - Böcker

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, Engelska, 2016

1 439 kr

Skickas inom 10-15 vardagar

Challenging Problems and Solutions in Intelligent Systems

Av Guy de Trė, Przemysław Grzegorzewski m. fl

Häftad, Engelska, 2018

1 439 kr

Skickas inom 10-15 vardagar

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

Av Wojciech Penczek, Agata Pólrola

Inbunden, Engelska, 2006

2 049 kr

Skickas inom 10-15 vardagar

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, Engelska, 1996

1 399 kr

Skickas inom 10-15 vardagar

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

Av Wojciech Penczek, Agata Pólrola

Häftad, Engelska, 2010

2 049 kr

Skickas inom 10-15 vardagar

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, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Transactions on Petri Nets and Other Models of Concurrency XII

Av Maciej Koutny, Jetty Kleijn m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Transactions on Petri Nets and Other Models of Concurrency XIII

Av Maciej Koutny, Lars Michael Kristensen m. fl

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar