|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Application and Theory of Petri Nets 2002: 23rd International Conference, Icatpn 2002, Adelaide, Australia, June 24-30, 2002. Proceedings 2002 Edition (Lecture Notes in Computer Science) | Esparza, Javier | Paperback | 3540437878 /
9783540437871 | 06/2002 | $52.24 |
|  | Automata, Languages, and Programming: 41st International Colloquium, Icalp 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I 2014 Edition | Esparza, Javier | Paperback | 3662439476 /
9783662439470 | 06/2014 | $52.24 |
|  | Automata, Languages, and Programming: 41st International Colloquium, Icalp 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II 2014 Edition | Esparza, Javier | Paperback | 3662439506 /
9783662439500 | 06/2014 | $52.24 |
|  | Finite and Algorithmic Model Theory (London Mathematical Society Lecture Notes) | Esparza, Javier | Paperback | 0521718201 /
9780521718202 | 03/2011 | $75.04 |
|  | Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note) | Esparza, Javier | Open Ebook | 0511974965 /
9780511974960 | 06/2011 | $140.25 |
|  | Foundations of Software Science and Computation Structures: 20th International Conference, Fossacs 2017, Held as Part of the European Joint Conference 2017 Edition (Lecture Notes in Computer Science) | Esparza, Javier | Paperback | 3662544571 /
9783662544570 | 03/2017 | $52.24 |
|  | Free Choice Petri Nets Pbk Version Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Desel, Jorg | Paperback | 0521019451 /
9780521019453 | 09/2005 | $45.59 |
|  | Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe (Lecture Notes in Computer Science) | Esparza, Javier | Paperback | 3642120016 /
9783642120015 | 03/2010 | $52.24 |
|  | Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs) | Esparza, Javier | Paperback | 3642096050 /
9783642096051 | 11/2010 | $104.49 |
|  | Unfoldings: A Partial-Order Approach to Model Checking 2008 Edition (Monographs in Theoretical Computer Science. an Eatcs) | Esparza, Javier | Hardcover | 3540774254 /
9783540774259 | 03/2008 | $104.49 |
|
|
|