Search Results - "computational engineering"

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...

Subjects: “…Computer engineering.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Subjects: “…Computer engineering.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Subjects: “…Computer engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

Subjects: “…Computer engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

Subjects: “…Computer engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

Subjects: “…Computer engineering.…”
Link to Metadata

5G and Beyond

Subjects: “…Computer engineering.…”
Link to Metadata

Probability in Electrical Engineering and Computer Science An Application-Driven Course / by Walrand, Jean

Subjects: “…Mathematical and Computational Engineering Applications.…”
Link to Metadata

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

Subjects: “…Computer engineering.…”
Link to Metadata

Digital Twin Architectures, Networks, and Applications / by Zhang, Yan

Subjects: “…Mathematical and Computational Engineering Applications.…”
Link to Metadata

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy /

Subjects: “…Computer engineering.…”
Link to Metadata

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

Subjects: “…Computer engineering.…”
Link to Metadata

Industrielle Datenanalyse Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken /

Subjects: “…Computer engineering.…”
Link to Metadata

Networks in the Russian Market Economy by Lonkila, M.

Subjects: “…Computer engineering.…”
Link to Metadata

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

Subjects: “…Computer engineering.…”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Subjects: “…Computer engineering.…”
Link to Metadata

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

Subjects: “…Computer engineering.…”
Link to Metadata

Software for Exascale Computing - SPPEXA 2016-2019

Subjects: “…Mathematical and Computational Engineering Applications.…”
Link to Metadata

The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? by Olav Lysne

Subjects: “…computer engineering…”
DOAB: download the publication
DOAB: description of the publication

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Subjects: “…Computer engineering.…”
Link to Metadata