Select
Explore
keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design – 43 free books.
Automated Reasoning with Analytic Tableaux and Related Methods
Gian Luca Pozzato and Tarmo Uustalu, editors
Foundations of Software Science and Computation Structures
Naoki Kobayashi and James Worrell, editors
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Nina Narodytska and Philipp Rümmer, editors
Smittestopp − A Case Study on Digital Contact Tracing
Ahmed Elmokashfi et al. (editors)
Foundations of Software Science and Computation Structures
Naoki Kobayashi and James Worrell, editors
Fundamental Approaches to Software Engineering
Dirk Beyer and Ana Cavalcanti, editors
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Alexander Nadel and Kristin Yvonne Rozier, editors
