Результаты поиска - "Data Structures"

  1. 121

    Algorithms for Big Data DFG Priority Program 1736

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  2. 122

    Quantitative Sustainability Interdisciplinary Research for Sustainable Development Goals

    Опубликовано 2024
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  3. 123

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  4. 124

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  5. 125

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  6. 126

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  7. 127

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  8. 128

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  9. 129

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  10. 130

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  11. 131

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

    Опубликовано 2023
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  12. 132

    Discovery in Physics

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  13. 133

    Fundamentals

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  14. 134

    Applications

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  15. 135

    Fundamentals

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  16. 136

    Applications

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  17. 137

    Discovery in Physics

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  18. 138

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

    Опубликовано 2023
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  19. 139

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  20. 140

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

    Опубликовано 2022
    Предметы: “...Algorithms & data structures bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги