Select
Explore
keyword: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design – 39 free books.
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
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.
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere and David Parker
Internet of Things. Information Processing in an Increasingly Connected World
Leon Strous and Vinton G. Cerf
High-Performance Modelling and Simulation for Big Data Applications
Joanna Kołodziej and Horacio González-Vélez
Fundamental Approaches to Software Engineering
Reiner Hähnle and Wil van der Aalst
Armin Biere and David Parker, editors
Tomas Vojnar and Lijun Zhang, editors
