Select
Explore
keyword: Systems analysis & design – 34 free books.
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake and Josef Urban, 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
AI Knowledge Transfer from the University to Society
José Guadix Martín et al. (editors)
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Ruzica Piskac and Michael Whalen, editors
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
Design and Architectures for Digital Signal Processing
Gustavo Ruiz and Juan A. Michell, editors
Digital Filters and Signal Processing
Fausto Pedro García Márquez and Noor Zaman, editors
Software for Exascale Computing - SPPEXA 2016-2019
Hans-Joachim Bungartz et al.
