Search Results - "Computer programming"

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

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

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

XcalableMP PGAS Programming Language From Programming Model to Applications /

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Introduction to Scientific Programming with Python by Sundnes, Joakim

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

Database Performance at Scale A Practical Guide by Mendes, Felipe Cardeneti

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Database Performance at Scale A Practical Guide by Mendes, Felipe Cardeneti

Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R A Workbook / by Hair Jr., Joseph F., Hult, G. Tomas M., Ringle, Christian M., Sarstedt, Marko, Danks, Nicholas P., Ray, Soumya

Subjects: “…Statistics Computer programs.…”
Link to Metadata

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

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

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship

Subjects: “…Computer programming / software development bicssc…”
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,...

Subjects: “…computer programming…”
DOAB: download the publication
DOAB: 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,...

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Finite Difference Computing with Exponential Decay Models by Langtangen, Hans Petter

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