Explore
keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design – 31 free books.
These Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.
You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
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
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
Software for Exascale Computing - SPPEXA 2016-2019
Hans-Joachim Bungartz et al.
The Impact of Digital Technologies on Public Health in Developed and Developing Countries
Mohamed Jmaiel et al.