Select
Explore
keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation – 29 free books.
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Nina Narodytska and Philipp Rümmer, editors
Foundations of Software Science and Computation Structures
Naoki Kobayashi and James Worrell, editors
Advanced Mathematical Science for Mobility Society
Kazushi Ikeda et al. (editors)
Fundamental Approaches to Software Engineering
Dirk Beyer and Ana Cavalcanti, editors
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Alexander Nadel and Kristin Yvonne Rozier, editors
