Search Results - "Pröve"

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

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security by Wasserrab, Daniel

    Published 2011
    Subjects: “…Theorem Proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 2
    Cover Image

    Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction by Weiß, Benjamin

    Published 2011
    Subjects: “…theorem proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

    Verification-based software-fault detection by Gladisch, Christoph David

    Published 2011
    Subjects: “…Theorem Proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 4
    Cover Image

    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 Archivalien im Land Brandenburg - Teil II: Brandenburgisches Landeshauptarchiv (2. Haelfte). Bear...

    Published 2014
    Subjects: “…Pröve…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 5
    Cover Image

    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 Archivalien im Land Brandenburg - Teil I: Brandenburgisches Landeshauptarchiv (1. Haelfte). Bearb...

    Published 2014
    Subjects: “…Pröve…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 6
    Cover Image

    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 Archivalien im Land Brandenburg - Teil I: Brandenburgisches Landeshauptarchiv (1. Haelfte). Bearb...

    Published 2014
    Subjects: “…Pröve…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 7
    Cover Image

    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 Archivalien im Land Brandenburg - Teil II: Brandenburgisches Landeshauptarchiv (2. Haelfte). Bear...

    Published 2014
    Subjects: “…Pröve…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 8
    Cover Image

    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 Archivalien im Land Brandenburg - Teil III: Kirchliche, kommunale und sonstige Archive. Sachsyste...

    Published 2014
    Subjects: “…Pröve…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 9
    Cover Image

    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 Archivalien im Land Brandenburg - Teil III: Kirchliche, kommunale und sonstige Archive. Sachsyste...

    Published 2014
    Subjects: “…Pröve…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 10
    Cover Image

    Proof and Proving in Mathematics Education The 19th ICMI Study

    Published 2012
    Subjects: “…proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 11
    Cover Image

    Proof and Proving in Mathematics Education The 19th ICMI Study

    Published 2012
    Subjects: “…proving…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 12
    Cover Image

    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So... by Ugo Dal Lago

    Published 2018
    Subjects: “…theorem proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 13
    Cover Image

    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

    Published 2018
    Subjects: “…theorem proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 14
    Cover Image

    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

    Published 2018
    Subjects: “…theorem proving…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 15
    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
    Subjects: “…theorem proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 16
    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 Ahmed, Amal

    Published 2018
    Subjects: “…theorem proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 17
    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 Ahmed, Amal

    Published 2018
    Subjects: “…theorem proving…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 18
    Cover Image

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Published 2023
    Subjects: “…automated theorem proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 19
    Cover Image

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Published 2023
    Subjects: “…automated theorem proving…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 20
    Cover Image

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

    Published 2023
    Subjects: “…theorem proving…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: