Computer science;Informatique;Special purpose comp

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

2017 · ENGLISH · PDF

View details →

Computer Analysis of Images and Patterns : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II

2017 · ENGLISH · PDF

View details →

Unknown Title

2017 · ENGLISH · PDF

View details →

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

2017 · ENGLISH · PDF

View details →

Computing in Smart Toys

2017 · ENGLISH · PDF

View details →

HCI International 2017 – Posters’ Extended Abstracts: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part II

2017 · ENGLISH · PDF

View details →

Automotive Software Architectures : An Introduction

2017 · ENGLISH · PDF

View details →