Résultats de la recherche - "computer engineer"

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Eingebettete Systeme Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen par Marwedel, Peter

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Eingebettete Systeme Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen par Marwedel, Peter

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Cloud-to-Thing Continuum Opportunities and Challenges in Cloud, Fog and Edge Computing

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

The Cloud-to-Thing Continuum Opportunities and Challenges in Cloud, Fog and Edge Computing

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Cyber-Physical Systems: A Model-Based Approach par Taha, Walid M.

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Cyber-Physical Systems: A Model-Based Approach par Taha, Walid M.

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Computer Engineering and Networks…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Sujets: “…Computer Engineering and Networks…”
DOAB: download the publication
DOAB: description of the publication