Explore
keyword: Computer architecture & logic design – 24 free books.
These books are not included in Project Gutenberg.
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Alexander Nadel and Kristin Yvonne Rozier, editors
A Primer on Memory Consistency and Cache Coherence, Second Edition
Vijay Nagarajan et al.
Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Leando Soares Indrusiak et al. (editors)
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Ruzica Piskac and Michael Whalen, editors
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
