תוצאות חיפוש - "computation"

  1. 41

    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
    אלקטרוני Book Chapter
  2. 42
  3. 43

    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
    אלקטרוני Book Chapter
  4. 44
  5. 45

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

    יצא לאור 2020
    נושאים: “...Computer science....”
    Link to Metadata
    אלקטרוני ספר אלקטרוני
  6. 46
  7. 47

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

    יצא לאור 2021
    נושאים: “...Computer science....”
    Link to Metadata
    אלקטרוני ספר אלקטרוני
  8. 48

    Hypergraph Computation מאת Dai, Qionghai

    יצא לאור 2023
    נושאים: “...Hypergraph Computation...”
    DOAB: download the publication
    DOAB: description of the publication
    אלקטרוני Book Chapter
  9. 49

    Spectral Geometry of Graphs מאת Kurasov, Pavel

    יצא לאור 2024
    נושאים: “...Mathematical theory of computation bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    אלקטרוני Book Chapter
  10. 50

    Hypergraph Computation מאת Dai, Qionghai

    יצא לאור 2023
    נושאים: “...Hypergraph Computation...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    אלקטרוני Book Chapter
  11. 51

    Spectral Geometry of Graphs מאת Kurasov, Pavel

    יצא לאור 2024
    נושאים: “...Mathematical theory of computation bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    אלקטרוני Book Chapter
  12. 52

    International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019

    יצא לאור 2021
    נושאים: “...Quantum Computing...”
    DOAB: download the publication
    DOAB: description of the publication
    אלקטרוני Book Chapter
  13. 53

    International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019

    יצא לאור 2021
    נושאים: “...Quantum Computing...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    אלקטרוני Book Chapter
  14. 54

    International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019

    יצא לאור 2021
    נושאים: “...Quantum Computing...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    אלקטרוני Book Chapter
  15. 55
  16. 56
  17. 57

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

    יצא לאור 2019
    נושאים: “...Computer science....”
    Link to Metadata
    אלקטרוני ספר אלקטרוני
  18. 58

    Chapter preface

    יצא לאור 2020
    נושאים: “...Mathematical theory of computation bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    אלקטרוני Book Chapter
  19. 59

    Controlled Document Authoring in a Machine Translation Age מאת Miyata, Rei

    יצא לאור 2021
    נושאים: “...Mathematical theory of computation bicssc...”
    DOAB: description of the publication
    אלקטרוני Book Chapter
  20. 60

    Chapter 1 Introduction

    יצא לאור 2020
    נושאים: “...Mathematical theory of computation bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    אלקטרוני Book Chapter