檢索結果 - "programming language"

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

主題: “...programming languages...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings 由 Rio Yokota

主題: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... 由 Dirk Beyer

主題: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

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

主題: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

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

主題: “...programming languages...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

主題: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL 由 Reinders, James

主題: “...Programming Languages, Compilers, Interpreters...”
DOAB: download the publication
DOAB: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni... 由 Ralf Küsters

主題: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

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

主題: “...programming languages...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL 由 Reinders, James

主題: “...Programming Languages, Compilers, Interpreters...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

主題: “...Programming languages (Electronic computers)...”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

主題: “...Programming languages (Electronic computers)...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

主題: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

主題: “...Programming languages (Electronic computers)...”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

主題: “...Programming languages (Electronic computers)...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

主題: “...programming languages...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

主題: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

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

主題: “...Programming languages (Electronic computers)...”
DOAB: download the publication
DOAB: description of the publication

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

主題: “...Programming languages (Electronic computers)...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

主題: “...programming languages...”
OAPEN Library: download the publication
OAPEN Library: description of the publication