|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems 2020 Edition | Drechsler, Rolf | Hardcover | 3030203220 /
9783030203221 | 07/2019 | $104.49 |
|  | Formal Specification Level: Concepts, Methods, and Algorithms Softcover Repri Edition | Soeken, Mathias | Paperback | 3319378821 /
9783319378824 | 08/2016 | $104.49 |
|  | Formal Specification Level: Concepts, Methods, and Algorithms 2015 Edition | Soeken, Mathias | Hardcover | 3319086987 /
9783319086989 | 11/2014 | $104.49 |
|  | Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings 2019 Edition | Thomsen, Michael Kirkedal | Paperback | 3030214990 /
9783030214999 | 05/2019 | $61.74 |
|
|
|