Select
Explore
keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design – 20 free books.
Information and Knowledge Organisation in Digital Humanities
Koraljka Golub and Ying-Hsang Liu, editors
Intelligent Computing and Optimization for Sustainable Development
Veena Grover et al. (editors)
Real-Time Systems Development with RTEMS and Multicore Processors
Gedare Bloom et al.
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Nina Narodytska and Philipp Rümmer, editors
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
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)
