Select
Explore
keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design – 38 free books.
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
Artificial Intelligence and Cognitive Science
Luca Longo and Ruairi O’Reilly, editors
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Alberto Griggio and Neha Rungta, editors
Fundamental Approaches to Software Engineering
Einar Broch Johnsen and Manuel Wimmer
Foundations of Software Science and Computation Structures
Patricia Bouyer and Lutz Schröder
