Search Results - "program analysis"

Suggested Topics within your search.
Refine Results
  1. 21
    Cover Image

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

    Published 2020
    Subjects: “…static and dynamic program analysis…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 22
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    Subjects: “…program analysis, correctness, transformation, and verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 23
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    Subjects: “…program analysis, correctness, transformation, and verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 24
    Cover Image

    Adult Education Research in Poland and Germany on the European Level: Two Sleeping Beauties? by Bernd Käpplinger

    Published 2015
    Connect to this object online.
    Book

    Save to List
    Saved in:
  5. 25
    Cover Image

    Raft Foundation Analysis Using Matlab And Crystal Ball Program by Al-Alaby, Aulia Rahman

    Published 2014
    Connect to this object online
    Book

    Save to List
    Saved in:
  6. 26
    Cover Image

    Training of education experts in Ukraine by Ognevyuk Viktor, Sysoieva Svitlana

    Published 2015
    Connect to this object online.
    Book

    Save to List
    Saved in:
  7. 27
    Cover Image

    Engineering the Computer Science and IT

    Published 2009
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 28
    Cover Image

    Main points of attention of Physical Education teachers in their first years of teaching practice by J. Viciana

    Published 2010
    Connect to this object online.
    Book

    Save to List
    Saved in:
  9. 29
    Cover Image

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

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 30
    Cover Image

    Our Public Health History in Florida: Interview with Peter J. Levin by Robert J. McDermott

    Published 2005
    Connect to this object online.
    Book

    Save to List
    Saved in:
  11. 31
    Cover Image

    ASSESSMENT OF SATISFACTION AMONG SURGICAL CLIENTS OF TEACHING HOSPITALS: ANALYSIS OF TANGIBILITY by Maria Paula Custódio Silva, Joyce Mara Gabriel Duarte, Nara dos Santos Costa, Andréia Silva Dutra Tirones, Ana Lúcia de Assis Simões

    Published 2017
    Connect to this object online.
    Book

    Save to List
    Saved in:
  12. 32
    Cover Image

    A MÍDIA INCITANDO ESTILOS DE VIDA SAUDÁVEIS: UMA ANÁLISE DO QUADRO "MEDIDA CERTA" DO PROGRAMA FANTÁSTICO by Sandro Faccin Bortolazzo, Roseli Belmonte Machado

    Published 2014
    Connect to this object online.
    Book

    Save to List
    Saved in:
  13. 33
    Cover Image

    SCHOOL COOPERATION MANAGEMENT WITH DUDI IN INCREASING THE QUALITY OF GRADUATES by Tahshir Tahshir

    Published 2022
    Connect to this object online.
    Book

    Save to List
    Saved in:
  14. 34
    Cover Image

    Opening Spaces for Indigenous Teaching and Learning through Community-Based Teacher Education by Shelley Tulloch, Sylvia Moore

    Published 2018
    Connect to this object online.
    Book

    Save to List
    Saved in:
  15. 35
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

    Published 2018
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  16. 36
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

    Published 2018
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  17. 37
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 38
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 39
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... by Dirk Beyer

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 40
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... by Dirk Beyer

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: