Rezultati - "Theoretical Computer Science and General Issues"

Refine Results
  1. 81
  2. 82
  3. 83
  4. 84
  5. 85

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

    Izdano 2021
    “...Lecture Notes in Computer Science; Theoretical Computer Science and General Issues...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronski Book Chapter
  6. 86

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

    Izdano 2021
    “...Lecture Notes in Computer Science; Theoretical Computer Science and General Issues...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronski Book Chapter
  7. 87

    Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

    Izdano 2021
    “...Lecture Notes in Computer Science; Theoretical Computer Science and General Issues...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronski Book Chapter