Predložene teme unutar tvog pretraživanja.
Prikaz rezultata 1 – 16 od 16 za pretraživanje '"Pröve"', vrijeme pretraživanja: 0,03s Detaljiziraj rezultate
  1. 1
    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
    od Wasserrab, Daniel
    Izdano 2011
    Teme: “…Theorem Proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  2. 2
    Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
    od Weiß, Benjamin
    Izdano 2011
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  3. 3
    Verification-based software-fault detection
    od Gladisch, Christoph David
    Izdano 2011
    Teme: “…Theorem Proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  4. 4
    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 : Archivalien im Land Brandenburg - Teil I: Brandenburgisches Landeshauptarchiv (1. Haelfte). Bearbeitet von Peter Bahl, Claudia Nowak und Ralf Proeve
    Izdano 2014
    Teme: “…Pröve…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  5. 5
    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 : Archivalien im Land Brandenburg - Teil II: Brandenburgisches Landeshauptarchiv (2. Haelfte). Bearbeitet von Peter Bahl, Claudia Nowak und Ralf Proeve
    Izdano 2014
    Teme: “…Pröve…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  6. 6
    Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 : Archivalien im Land Brandenburg - Teil III: Kirchliche, kommunale und sonstige Archive. Sachsystematik und Indices. Bearbeitet von Peter Bahl, Claudia Nowak und Ralf Proeve
    Izdano 2014
    Teme: “…Pröve…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  7. 7
    Proof and Proving in Mathematics Education : The 19th ICMI Study
    Izdano 2012
    Teme: “…proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  8. 8
    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 Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
    od Ugo Dal Lago
    Izdano 2018
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  9. 9
    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 Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
    Izdano 2018
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  10. 10
    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, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    od Amal Ahmed
    Izdano 2018
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  11. 11
    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, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    od Ahmed, Amal
    Izdano 2018
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  12. 12
    Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
    Izdano 2021
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  13. 13
    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    Izdano 2021
    Teme: “…theorem-proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  14. 14
    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    Izdano 2021
    Teme: “…theorem-proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  15. 15
    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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
    Izdano 2020
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
  16. 16
    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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
    Izdano 2020
    Teme: “…theorem proving…”
    Get Fullteks
    DOAB: description of the publication
    Poglavlje knjige
    Spremi u popis
    Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak – Pošalji ovo pretraživanje e-poštom – Spremi pretraživanje