Search Results - "programming"

Suggested Topics within your search.
Refine Results
  1. 221
    Cover Image

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

    Published 2021
    Subjects: “…computer programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 222
    Cover Image

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

    Published 2021
    Subjects: “…computer programming…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 223
    Cover Image

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

    Published 2023
    Subjects: “…Compilers (Computer programs).…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  4. 224
    Cover Image

    XcalableMP PGAS Programming Language From Programming Model to Applications /

    Published 2021
    Subjects: “…Compilers (Computer programs).…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  5. 225
    Cover Image

    Genetic Algorithms and Genetic Programming Modern Concepts and Practical Applications by Affenzeller, Michael

    Published 2009
    Subjects: “…Games development & programming bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 226
    Cover Image

    Chapter Topological Visualisation Techniques for Volume Multifield Data by Thomas, Dean P.

    Published 2019
    Subjects: “…Graphics programming bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 227
    Cover Image

    Chapter Topological Visualisation Techniques for Volume Multifield Data by Thomas, Dean P.

    Published 2019
    Subjects: “…Graphics programming bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 228
    Cover Image

    Genetic Algorithms and Genetic Programming Modern Concepts and Practical Applications by Affenzeller, Michael

    Published 2009
    Subjects: “…Games development & programming bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 229
    Cover Image

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

    Published 2021
    Subjects: “…computer programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 230
    Cover Image

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

    Published 2022
    Subjects: “…computer programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 231
    Cover Image

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

    Published 2021
    Subjects: “…computer programming…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 232
    Cover Image

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

    Published 2022
    Subjects: “…computer programming…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 233
    Cover Image

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

    Published 2021
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  14. 234
    Cover Image

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

    Published 2021
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  15. 235
    Cover Image

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

    Published 2023
    Subjects: “…Computer programming / software development bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 236
    Cover Image

    Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen by Köpf, Florian

    Published 2022
    Subjects: “…Adaptive Dynamic Programming (ADP); Reinforcement Learning (RL); Persistent Excitation (PE); adaptive Optimalregelung; lernende Regler; KI; Adaptive Optimal Control; Learning-Based Control; AI…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 237
    Cover Image

    Adaptive Dynamic Programming: Solltrajektorienfolgeregelung und Konvergenzbedingungen by Köpf, Florian

    Published 2022
    Subjects: “…Adaptive Dynamic Programming (ADP); Reinforcement Learning (RL); Persistent Excitation (PE); adaptive Optimalregelung; lernende Regler; KI; Adaptive Optimal Control; Learning-Based Control; AI…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 238
    Cover Image

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

    Published 2023
    Subjects: “…Computer programming / software development bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 239
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  20. 240
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:

Search Tools: