Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
2.857 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

2.857 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  2. Detailansicht für Treffer 2 öffnen
    Formalizing Piecewise Affine Activation Functions of Neural Networks in COQ : NASA formal methods (15th international symposium NFM 2023)
    Aleksandrov, Andrei ; Völlinger, Kim
    In: Lecture notes in computer science, Jg. 13903 (2023), S. 62-78
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem : Formal methods (25th International symposium, FM 2023)
    Boldo, Sylvie ; Clément, François ; et al.
    In: Lecture notes in computer science, Jg. 14000 (2023), S. 39-55
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  5. Detailansicht für Treffer 5 öffnen
    Towards a Practical Library for Monadic Equational Reasoning in Coq : Mathematics of program construction (14th international conference, MPC 2022)
    Saito, Ayumu ; Affeldt, Reynald
    In: Lecture notes in computer science, Jg. 13544 (2022), S. 151-177
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    LOGIC: A Coq Library for Logics : 8th Dependable software engineering: theories, tools, and applications International symposium
    Tao, Yichen ; Cao, Qinxiang
    In: Lecture notes in computer science, Jg. 13649 (2022), S. 205-226
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Integration of Multiple Formal Matrix Models in Coq : 8th Dependable software engineering: theories, tools, and applications International symposium
    Shi, Zheng ; Pu ; et al.
    In: Lecture notes in computer science, Jg. 13649 (2022), S. 169-186
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Verified Erasure Correction in Coq with MathComp and VST : Computer-aided verification (34th international conference, CAV 2022)
    Cohen, Joshua M. ; Wang, Qinshi ; et al.
    In: Lecture notes in computer science, Jg. 13372 (2022), S. 272-292
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A Formalization of Topological Spaces in Coq : Wireless Communications, Networking and Applications
    Yan, Sheng ; Fu, Yaoshun ; et al.
    In: Lecture notes in electrical engineering, Jg. 942 (2022), Heft 1, S. 196-204
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Machine-Assisted Proofs for Institutions in Coq : 16th International Conference on Theoretical Aspects of Software Engineering
    Reynolds, Conor ; Monahan, Rosemary
    In: Lecture notes in computer science, Jg. 13299 (2022), S. 180-196
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  12. Detailansicht für Treffer 12 öffnen
    Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq : 30th Automated reasoning with analytic tableaux and related methods International conference
    Goré, Rajeev ; Ramanayake, Revantha ; et al.
    In: Lecture notes in computer science, Jg. 12842 (2021), S. 299-316
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Research on Automation Strategy of Coq : Artificial intelligence and security (International conference)
    Qian, Hanwei
    In: Communications in computer and information science, Jg. 1423 (2021), S. 656-665
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Online Machine Learning Techniques for Coq: A Comparison : 14th International conference on Intelligent computer mathematics, CICM
    Zhang, Liao ; Blaauwbroek, Lasse ; et al.
    In: Lecture notes in computer science, Jg. 12833 (2021), S. 67-83
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Formalizing the Institution for Event-B in the Coq Proof Assistant : 8th International conference on rigorous state-based methods
    Reynolds, Conor
    In: Lecture notes in computer science, Jg. 12709 (2021), S. 162-166
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Verifying Min-Plus Computations with Coq : NASA formal methods (International conference)
    Rakotomalala, Lucien ; Roux, Pierre ; et al.
    In: Lecture notes in computer science, Jg. 12673 (2021), S. 287-303
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq : Formal engineering methods (22nd international conference)
    Bu, Hao ; Sun, Meng
    In: Lecture notes in computer science, Jg. 12531 (2020), S. 287-296
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Porting the Software Product Line Refinement Theory to the Coq Proof Assistant : Brazilian symposium on formal methods
    Alves, Thayonara ; Teixeira, Leopoldo ; et al.
    In: Lecture notes in computer science, Jg. 12475 (2020), S. 192-209
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Making Tezos Smart Contracts More Reliable with Coq : Leveraging applications of formal methods, verification and validation (International symposium)
    Bernardo, Bruno ; Cauderlier, Raphaël ; et al.
    In: Lecture notes in computer science, Jg. 12478 (2020), S. 60-72
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts : Formal Methods (International Workshop)
    Bernardo, Bruno ; Cauderlier, Raphaël ; et al.
    In: Lecture notes in computer science, Jg. 12232 (2020), S. 368-379
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -