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 Grzegorzewskim. fl.

Inbunden, Engelska, 2016

1 439 kr

Skickas inom 10-15 vardagar

Challenging Problems and Solutions in Intelligent Systems

AvGuy de Trė,Przemysław Grzegorzewskim. fl.

Häftad, Engelska, 2018

1 439 kr

Skickas inom 10-15 vardagar

Del 20 - Studies in Computational Intelligence

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

AvWojciech Penczek,Agata Pólrola

Inbunden, Engelska, 2006

2 069 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 439 kr

Skickas inom 10-15 vardagar

Del 20 - Studies in Computational Intelligence

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

AvWojciech Penczek,Agata Pólrola

Häftad, Engelska, 2010

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

719 kr

Skickas inom 7-10 vardagar

Transactions on Petri Nets and Other Models of Concurrency XII

AvMaciej Koutny,Jetty Kleijnm. 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 Kristensenm. fl.

Häftad, Engelska, 2018

699 kr

Skickas inom 10-15 vardagar