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

  1. 41

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Опубликовано 2020
    Предметы: “...Computer architecture & logic design bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  2. 42

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Опубликовано 2021
    Предметы: “...Computer architecture & logic design bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  3. 43

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

    Опубликовано 2019
    Предметы: “...Computer architecture & logic design bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  4. 44

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Опубликовано 2020
    Предметы: “...Computer architecture & logic design bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  5. 45

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Опубликовано 2021
    Предметы: “...Computer architecture & logic design bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  6. 46

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Опубликовано 2023
    Предметы: “...Computer architecture & logic design bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  7. 47

    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,... по Ahmed, Amal

    Опубликовано 2018
    Предметы: “...computer architecture...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  8. 48

    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,... по Ahmed, Amal

    Опубликовано 2018
    Предметы: “...computer architecture...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  9. 49

    Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

    Опубликовано 2020
    Предметы: “...Computer architecture & logic design bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  10. 50

    Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

    Опубликовано 2020
    Предметы: “...Computer architecture & logic design bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  11. 51

    Scientific Advances in STEM: From Professor to Students

    Опубликовано 2021
    Предметы: “...computer architecture...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  12. 52

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings

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

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings

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

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Опубликовано 2021
    Предметы: “...Computer architecture & logic design...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  15. 55

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Опубликовано 2021
    Предметы: “...Computer architecture & logic design...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  16. 56

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

    Опубликовано 2021
    Предметы: “...Computer architecture & logic design...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  17. 57

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

    Опубликовано 2021
    Предметы: “...Computer architecture & logic design...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  18. 58

    UAV or Drones for Remote Sensing Applications in GPS/GNSS Enabled and GPS/GNSS Denied Environments

    Опубликовано 2021
    Предметы: “...computer architecture...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  19. 59

    Computation in Complex Networks

    Опубликовано 2021
    Предметы: “...cloud computing architecture...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги