Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
17.886 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

17.886 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    General Probability in Coq
    Shinnar, Avraham ; Trager, Barry
    In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2022-06-01, S. 70-71
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 42 öffnen
    Verification of Design of Memory Management Module for Embedded System Based on Coq
    Shaofeng, Li ; Lei, Qiao ; et al.
    In: 2020 IEEE 11th International Conference on Software Engineering and Service Science (ICSESS), 2020-10-16, S. 44-47
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 43 öffnen
    모나딕 타입으로 Coq에서 배중률 사용을 안전하게 감싸기
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 한국정보과학회 학술발표논문집, Jg. 2022 (2022-12-31), Heft 12, S. 1236-1237
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 44 öffnen
    Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq
    Zhang, Xiyue ; Li, Yi ; et al.
    In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019-07-01, S. 107-112
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 45 öffnen
    COQ math model case study for self-brand automobile industry
    Fuli, Z. ; Xu, W. ; et al.
    In: 2015 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2015-12-01, S. 1392-1396
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 46 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  7. Detailansicht für Treffer 47 öffnen
    CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs
    Ferrell, Benjamin ; Duan, Jun ; et al.
    In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019-03-01, S. 474-479
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 48 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Nachschlagewerk
  9. Detailansicht für Treffer 49 öffnen
    A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
    Becker, Heiko ; Zyuzin, Nikita ; et al.
    In: 2018 Formal Methods in Computer Aided Design (FMCAD), 2018-10-01, S. 1-10
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 50 ö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?
  11. Detailansicht für Treffer 51 ö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?
  12. Detailansicht für Treffer 52 ö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?
  13. Detailansicht für Treffer 53 ö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?
  14. Detailansicht für Treffer 54 ö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?
  15. Detailansicht für Treffer 55 ö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?
  16. Detailansicht für Treffer 56 öffnen
    Catamorphism Generation and Fusion Using Coq
    Robillard, Simon
    In: 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014-09-01, S. 180-185
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 57 öffnen
    CertiCAN: A Tool for the Coq Certification of CAN Analysis Results
    Fradet, Pascal ; Guo, Xiaojie ; et al.
    In: 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2019-04-01, S. 182-191
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 58 öffnen
    Semantic cut elimination for the logic of bunched implications, formalized in Coq
    Frumin, Dan ; Popescu, Andrei ; et al.
    In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 291-306
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 59 öffnen
    Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.
    Aleksandrov, Andrei ; Völlinger, Kim
    In: NFM, 2023, S. 62-78
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 60 öffnen
    Formalising Decentralised Exchanges in Coq.
    Eske Hoy Nielsen ; Annenkov, Danil ; et al.
    In: CPP, 2023, S. 290-302
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -