Explore
keyword: Computer architecture & logic design – 13 free books.
These Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.
You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
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.
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
High-Performance Modelling and Simulation for Big Data Applications
Joanna Kołodziej and Horacio González-Vélez
Tools and Algorithms for the Construction and Analysis of Systems
Tomas Vojnar and Lijun Zhang
Variant Construction from Theoretical Foundation to Applications
Jeffrey Zheng (editor)
