Rezultaty - "programming languages"

The Oak Ridge ALGOL Compiler for the Control Data Corporation 1604 Preliminary Programmer's Manual od Bumgarner, L. L.

Hasła przedmiotowe: “…ALGOL (Computer program language)…”
Dokumenty pełnotekstowe

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

Hasła przedmiotowe: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication

XcalableMP PGAS Programming Language From Programming Model to Applications od Sato, Mitsuhisa

Hasła przedmiotowe: “…parallel programming language…”
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...

Hasła przedmiotowe: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

XcalableMP PGAS Programming Language From Programming Model to Applications od Sato, Mitsuhisa

Hasła przedmiotowe: “…parallel programming language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Hasła przedmiotowe: “…Programming Language.…”
Link to Metadata

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

Hasła przedmiotowe: “…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... od Dirk Beyer

Hasła przedmiotowe: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication

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

Hasła przedmiotowe: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication

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

Hasła przedmiotowe: “…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...

Hasła przedmiotowe: “…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 od Reinders, James

Hasła przedmiotowe: “…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... od Ralf Küsters

Hasła przedmiotowe: “…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...

Hasła przedmiotowe: “…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 od Reinders, James

Hasła przedmiotowe: “…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

Hasła przedmiotowe: “…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

Hasła przedmiotowe: “…Programming languages (Electronic computers)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Sharing Less Commonly Taught Languages in Higher Education Collaboration and Innovation

Hasła przedmiotowe: “…Languages;Language instructors;LCTLs;LCTL programs;language institutes;language programs;language resources;less commonly taught languages…”
DOAB: download the publication
DOAB: description of the publication

Sharing Less Commonly Taught Languages in Higher Education Collaboration and Innovation

Hasła przedmiotowe: “…Languages;Language instructors;LCTLs;LCTL programs;language institutes;language programs;language resources;less commonly taught languages…”
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

Hasła przedmiotowe: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication