Search Results - "programming"

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

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

    Published 2022
    Subjects: “…Logic programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 282
    Cover Image

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

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

    Save to List
    Saved in:
  3. 283
    Cover Image

    Joint Pricing and Inventory Control under Reference Price Effects by Gimpl-Heersink, Lisa

    Published 2018
    Subjects: “…Dynamic Programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 284
    Cover Image

    Joint Pricing and Inventory Control under Reference Price Effects by Gimpl-Heersink, Lisa

    Published 2018
    Subjects: “…Dynamic Programming…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 285
    Cover Image

    Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops / by Supalov, Alexander, Semin, Andrey, Dahnken, Christopher, Klemm, Michael

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

    Save to List
    Saved in:
  6. 286
    Cover Image

    Problemáticas psicosociales en el ámbito universitario y programas de prevención by Patricio Pérez Reyes

    Published 2017
    Subjects: “…Prevention Programs…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 287
    Cover Image

    Chapter New 'Excavations' in the Pergamon-Museum and in the Gipsformerei of Berlin and New Elements for the Study of the Decorative Programme of Kammer B in Yazılıkaya by Marazzi, Massimiliano

    Published 2023
    Subjects: “…Decorative program…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 288
    Cover Image

    Chapter New 'Excavations' in the Pergamon-Museum and in the Gipsformerei of Berlin and New Elements for the Study of the Decorative Programme of Kammer B in Yazılıkaya by Marazzi, Massimiliano

    Published 2023
    Subjects: “…Decorative program…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 289
    Cover Image

    Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology by David A. Rosenblueth

    Published 2016
    Subjects: “…Logic programing…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 290
    Cover Image

    Steinalderen i Sørøst-Norge Faglig program for steinalderundersøkelser ved Kulturhistorisk museum by Damlien, Hege

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

    Save to List
    Saved in:
  11. 291
    Cover Image

    Steinalderen i Sørøst-Norge Faglig program for steinalderundersøkelser ved Kulturhistorisk museum by Damlien, Hege

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

    Save to List
    Saved in:
  12. 292
    Cover Image

    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... by Ahmed, Amal

    Published 2018
    Subjects: “…program compilers…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 293
    Cover Image

    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... by Ahmed, Amal

    Published 2018
    Subjects: “…program compilers…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 294
    Cover Image

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

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

    Save to List
    Saved in:
  15. 295
    Cover Image

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

    Published 2018
    Subjects: “…program compilers…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 296
    Cover Image

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

    Published 2017
    Subjects: “…Inheritance (object-oriented programming)…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 297
    Cover Image

    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

    Published 2018
    Subjects: “…program compilers…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 298
    Cover Image

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

    Published 2018
    Subjects: “…program compilers…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 299
    Cover Image

    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

    Published 2018
    Subjects: “…program compilers…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 300
    Cover Image

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

    Published 2017
    Subjects: “…Inheritance (object-oriented programming)…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: