Machines, Computations, and Universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Jerome Durand-Lose
Download - Immediately Available
Format: eBook (PDF)
Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
William McCune
Download - Immediately Available
Format: eBook (PDF)
Testing Complex and Embedded Systems
Kim H. (Co-Founder, Value Transformation, LLC, Texas, USA; Ston Pries
Download - Immediately Available
Format: eBook (EPUB)
Testing Complex and Embedded Systems
Kim H. (Co-Founder, Value Transformation, LLC, Texas, USA; Ston Pries
Download - Immediately Available
Format: eBook (PDF)