Select
Explore
keyword: Mathematical theory of computation – 76 free books.
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake and Josef Urban, editors
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Alexander Nadel and Kristin Yvonne Rozier, editors
AVAILABLE!
Login to Fave
Jürgen Beyerer and Tim Zander, editors
AVAILABLE!
Login to Fave
AVAILABLE!
Login to Fave
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures
Markus Kilian Frank
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Login to Fave