Wojciech Penczek - Böcker
Visar alla böcker från författaren Wojciech Penczek.
8 produkter
8 produkter
1 439 kr
Skickas inom 10-15 vardagar
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
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
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
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
Häftad, Engelska, 2010
719 kr
Skickas inom 7-10 vardagar
719 kr
Skickas inom 10-15 vardagar
699 kr
Skickas inom 10-15 vardagar