|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Computational Methods in Systems Biology: 14th International Conference, Cmsb 2016, Cambridge, Uk, September 21-23, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Bartocci, Ezio | Paperback | 3319451766 / 9783319451763 | 09/2016 | $52.24 |
| | From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday 2019 Edition | Bartocci, Ezio | Paperback | 3030315134 / 9783030315139 | 09/2019 | $52.24 |
| | Lectures on Runtime Verification: Introductory and Advanced Topics 2018 Edition (Lecture Notes in Computer Science) | Bartocci, Ezio | Paperback | 3319756311 / 9783319756318 | 02/2018 | $66.49 |
| | Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, Usa, July 8-9, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Bartocci, Ezio | Paperback | 3642391753 / 9783642391750 | 07/2013 | $52.24 |
| | Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings 2015 Edition (Lecture Notes in Computer Science) | Bartocci, Ezio | Paperback | 3319238191 / 9783319238197 | 09/2015 | $52.24 |
|
|
|