Search Results - "lecture"

Refine Results
  1. 1981
  2. 1982
  3. 1983
  4. 1984
  5. 1985
  6. 1986
  7. 1987

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

    Published 2020
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  8. 1988
  9. 1989
  10. 1990
  11. 1991
  12. 1992
  13. 1993

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

    Published 2020
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  14. 1994

    Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

    Published 2020
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  15. 1995

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

    Published 2020
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  16. 1996
  17. 1997
  18. 1998
  19. 1999
  20. 2000