|
| Books 1 - 10 of 14 | Previous | Next |
|
 | | Petri Net Algebra (Monographs in Theoretical Computer Science : an EATCS Series) (Monographs in Theoretical Computer Science : an Eatcs Series)
by Eike Best, Raymond Devillers, Maciej Koutny
Hardcover, 378 Pages, Published 2001 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Compositional development in the event of interface difference (Technical report series)
by Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo
Unknown Binding, Published 2001 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Detecting State Coding in Stgs Unfoldings Using Sat (Technical report series / University of Newcastle Upon Tyne. Computer Science)
by Victor Khomenko, Maciej Koutny, Alex Yakovlev
Paperback, 20 Pages, Published 2003 by University of Newcastle upon Tyne
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Technical report series)
by Martin Hesketh, Maciej Koutny
Paperback, 36 Pages, Published 1997 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Projection in temporal logic programming
by Zhenhua Duan, Maciej Koutny, Chris Holt
Unknown Binding, Published 1993 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Order structures and generalisations of Szpilrajn's theorem
by Ryszard Janicki, Maciej Koutny
Unknown Binding, Published 1993 by University of Newcastle upon Tyne, Computing Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Modelling and verification of communicating processes in the event of interface difference (Technical report series)
by Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo
Unknown Binding, Published 2000 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Structure of concurrency
by Ryszard Janicki, Maciej Koutny
Unknown Binding, Published 1991 by University of Newcastle upon Tyne, Computing Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Linear programming deadlock checking using partial order dependencies (Technical report series)
by Victor Khomenko, Maciej Koutny
Unknown Binding, Published 2001 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Verification of bounded Petri nets using integer programming (Technical report series)
by Victor Khomenko, Maciej Koutny
Unknown Binding, Published 2001 by University of Newcastle upon Tyne, Computing Science
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 14 | Previous | Next |