|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach 2006 Edition (Studies in Computational Intelligence) | Penczek, Wojciech | Hardcover | 3540328696 /
9783540328698 | 06/2006 | $161.49 |
|  | Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence) | Penczek, Wojciech | Paperback | 3642069428 /
9783642069420 | 11/2010 | $160.55 |
|  | Applications and Theory of Petri Nets: 31st International Conference, Petri Nets 2010, Braga, Portugal, June 21-25, 2010, Proceedings 2010 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Lilius, Johan | Paperback | 3642136745 /
9783642136740 | 06/2010 | $52.24 |
|  | Mathematical Foundations of Computer Science 1996: 21st International Symposium, Mfcs' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings 1996 Edition (Lecture Notes in Artificial Intelligence) | Penczek, Wojciech | Paperback | 3540615504 /
9783540615507 | 08/1996 | $104.49 |
|  | Transactions on Petri Nets and Other Models of Concurrency XII 2017 Edition (Lecture Notes in Computer Science) | Koutny, Maciej | Paperback | 3662558610 /
9783662558614 | 09/2017 | $52.24 |
|  | Transactions on Petri Nets and Other Models of Concurrency XIII 2018 Edition (Lecture Notes in Computer Science) | Koutny, Maciej | Paperback | 3662583801 /
9783662583807 | 11/2018 | $52.24 |
|
|
|