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

AvGuy de Trė,Przemysław Grzegorzewski m. fl.

Inbunden, Engelska, 2016

1 429 kr

Skickas inom 10-15 vardagar

Challenging Problems and Solutions in Intelligent Systems

AvGuy de Trė,Przemysław Grzegorzewski m. fl.

Häftad, Engelska, 2018

1 429 kr

Skickas inom 10-15 vardagar

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

AvWojciech Penczek,Agata Pólrola

Inbunden, Engelska, 2006

2 029 kr

Skickas inom 10-15 vardagar

Mathematical Foundations of Computer Science 1996

21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings

AvWojciech Penczek,Andrzej Szalas

Häftad, Engelska, 1996

1 389 kr

Skickas inom 10-15 vardagar

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

AvWojciech Penczek,Agata Pólrola

Häftad, Engelska, 2010

2 029 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

AvJohan Lilius,Wojciech Penczek

Häftad, Engelska, 2010

709 kr

Skickas inom 10-15 vardagar

Transactions on Petri Nets and Other Models of Concurrency XII

AvMaciej Koutny,Jetty Kleijn m. fl.

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Transactions on Petri Nets and Other Models of Concurrency XIII

AvMaciej Koutny,Lars Michael Kristensen m. fl.

Häftad, Engelska, 2018

699 kr

Skickas inom 10-15 vardagar