Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

219 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
    HASELWARTER, PHILIPP G. ; RIVAS, EXEQUIEL ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Natural deduction and semantic models of justification logic in the proof assistant Coq.
    Guzmán, Jesús Mauricio Andrade ; Quiroz, Francisco Hernández
    In: Logic Journal of the IGPL, Jg. 28 (2020-12-01), Heft 6, S. 1077-1092
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Volltext
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CoqMatrix: Formal matrix library with multiple models in Coq.
    Shi, Zheng ; Pu ; et al.
    In: Journal of Systems Architecture, Jg. 143 (2023-10-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Customer-Based Brand Equity Drivers: A Leading Brand of Beer in Estonia.
    Coudounaris, Dafnis N. ; Björk, Peter ; et al.
    In: Administrative Sciences (2076-3387), Jg. 14 (2024-04-01), Heft 4, S. 61-100
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Estimating COQ Using PAF Quality Costing Model in a Pharmaceutical Firm.
    Srivastava, Samir K.
    In: International Journal of Business & Economics, Jg. 6 (2007-09-01), Heft 1, S. 7-16
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    The Marriage of Univalence and Parametricity.
    TABAREAU, NICOLAS ; TANTER, ÉRIC ; et al.
    In: Journal of the ACM, Jg. 68 (2021), Heft 1, S. 1-44
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Calculating Parallel Programs in Coq Using List Homomorphisms.
    Loulergue, Frédéric ; Bousdira, Wadoud ; et al.
    In: International Journal of Parallel Programming, Jg. 45 (2017-04-01), Heft 2, S. 300-319
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Bringing Coq into the World of GCM Distributed Applications.
    Gaspar, Nuno ; Henrio, Ludovic ; et al.
    In: International Journal of Parallel Programming, Jg. 42 (2014-08-01), Heft 4, S. 643-662
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.
    Wang, Qian ; Song, Xiaoyu ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 34 (2015), Heft 1, S. 150-154
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Rapid neonatal weight gain in rats results in a renal ubiquinone (CoQ) deficiency associated with premature death
    Shelley, Piran ; Tarry-Adkins, Jane ; et al.
    In: Mechanisms of Ageing & Development, Jg. 128 (2007-11-01), Heft 11/12, S. 681-687
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A measurement of quality costs in industrial organizations.
    Alsada, Riyadh Y. ; Kumar, Yathish
    In: Cogent Business & Management, Jg. 9 (2022), Heft 1, S. 1-23
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Gaps in Measurements of the Costs of Quality: Revisiting the Volkswagen Emission Scandal After Seven Years.
    Yong Gyo Lee ; Garza-Gomez, Xavier
    In: Journal of Accounting & Finance (2158-3625), Jg. 22 (2022-03-01), Heft 3, S. 172-181
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Understanding and application of quality costs in automotive manufacturing companies in North Macedonia: empirical study.
    Velkoska, Cvetanka ; Tomov, Mite
    In: International Journal of Quality & Reliability Management, Jg. 40 (2023-06-01), Heft 6, S. 1463-1484
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Formalisation and verification of programmable logic controllers timers in Coq.
    Wan, H. ; Chen, G. ; et al.
    In: IET Software (Institution of Engineering & Technology), Jg. 5 (2011-02-01), Heft 1, S. 32-42
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover.
    Chen, Gang
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 29 (2010), Heft 1, S. 149-153
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Dynamic modeling to reduce the cost of quality in construction projects.
    Shafiei, Iman ; Eshtehardian, Ehsan ; et al.
    In: International Journal of Construction Management, Jg. 23 (2023), Heft 1, S. 24-37
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    An evidence-based relationship between technical assistance and productivity in cocoa from Tocache, Peru.
    Higuchi, Angie ; Coq-Huelva, Daniel ; et al.
    In: Revista de Economia e Sociologia Rural, Jg. 61 (2023), Heft 1, S. 1-19
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
    Georges, Aïna Linn ; Guéneau, Armaël ; et al.
    In: Journal of the ACM, Jg. 71 (2024-02-01), Heft 1, S. 1-59
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    A Study on the Relationship between the Voice of Customer with the Cost of Quality in Processes of Professional Higher Education Institutions.
    Mulay, Rahul ; Tandon Khanna, Vandana
    In: South Asian Journal of Management, Jg. 24 (2017-10-01), Heft 4, S. 55-72
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Formalization of Double-Word Arithmetic, and Comments on "Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic".
    MULLER, JEAN-MICHEL ; RIDEAU, LAURENCE
    In: ACM Transactions on Mathematical Software, Jg. 48 (2022), Heft 1, S. 1-24
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -