Relational and Algebraic Methods in Computer Science

File Size : 99,99 MB
Total View : 3737 Views
DOWNLOAD

Engineering Dependable Software Systems

File Size : 29,29 MB
Total View : 6800 Views
DOWNLOAD

Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and

Dependable Software Systems Engineering

File Size : 17,17 MB
Total View : 6440 Views
DOWNLOAD

Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable

Theoretical Aspects of Computing – ICTAC 2019

File Size : 40,40 MB
Total View : 9829 Views
DOWNLOAD

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia,

Tools and Algorithms for the Construction and Analysis of Systems

File Size : 48,48 MB
Total View : 6145 Views
DOWNLOAD

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS