Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

463 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
    LE COQ SPORTIF, LA FIBRE TRICOLORE.
    CHANEL, SORLIN
    In: Stratégies, 2024-02-15, Heft 2207, S. 10-11
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 öffnen
    Le Coq Sportif expands French production.
    In: Sporting Goods Intelligence Europe, Jg. 32 (2021-09-30), Heft 39/40, S. 1-1
    Online serialPeriodical
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 ö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?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 öffnen
    Pizza and Coq au Vin Costs Are Still Rising in Italy and France.
    Goyeneche, Ainhoa ; Salzano, Giovanni
    In: Bloomberg.com, 2023-09-16, S. N.PAG
    Online serialPeriodical
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 ö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?
  12. Detailansicht für Treffer 12 ö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?
  13. Detailansicht für Treffer 13 ö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?
  14. Detailansicht für Treffer 14 öffnen
    Soaring Carrots Drive Cost of French Coq au Vin to New High.
    Goyeneche, Ainhoa
    In: Bloomberg.com, 2023-07-14, S. N.PAG
    Online serialPeriodical
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Coq au Vin Cost Keeps Rising as French Food Inflation Persists.
    Goyeneche, Ainhoa
    In: Bloomberg.com, 2023-06-15, S. N.PAG
    Online serialPeriodical
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 ö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?
  17. Detailansicht für Treffer 17 öffnen
    Le Coq Sportif is being refinanced.
    In: Sporting Goods Intelligence Europe, Jg. 32 (2021-05-27), Heft 21/22, S. 16-16
    Online serialPeriodical
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    LA COMPÉTITION.
    In: Stratégies, 2022-02-10, Heft 2116, S. 12-12
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Airesis' H1 revenues soar by 86%, losses narrow.
    In: Sporting Goods Intelligence Europe, Jg. 32 (2021-09-30), Heft 39/40, S. 1-1
    Online serialPeriodical
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 ö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?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -