Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

431 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Enseñando métodos formales con Coq
    Carlos Daniel Luna
    In: Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología, 2006-12-01, Heft 1
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 62 öffnen
    Formalized linear algebra over Elementary Divisor Rings in Coq
    Cano, Guillaume ; Cohen, Cyril ; et al.
    In: Logical Methods in Computer Science, Jg. ume 12, Issue 2 (2016-06-01)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 63 öffnen
    Gongying-Jiedu-Xiji recipe promotes the healing of venous ulcers by inhibiting ferroptosis via the CoQ-FSP1 axis
    Lu, Yongpan ; Zhao, Dejie ; et al.
    In: Frontiers in Pharmacology, Jg. 14 (2023-12-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 64 öffnen
    Sets in Coq, Coq in Sets
    Barras, Bruno
    In: Journal of Formalized Reasoning, Jg. 3 (2010), Heft 1, S. 29-48
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 65 öffnen
    Customer-Based Brand Equity Drivers: A Leading Brand of Beer in Estonia
    Coudounaris, Dafnis N. ; Björk, Peter ; et al.
    In: Administrative Sciences, Jg. 14 (2024-03-01), Heft 4, S. 61-61
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 66 öffnen
    Initial Semantics for higher-order typed syntax in Coq
    Ahrens, Benedikt ; Zsido, Julianna
    In: Journal of Formalized Reasoning, Jg. 4 (2011), Heft 1, S. 25-69
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 67 öffnen
    An introduction to small scale reflection in Coq
    Gonthier, Georges ; Mahboubi, Assia
    In: Journal of Formalized Reasoning, Jg. 3 (2010), Heft 2, S. 95-152
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 68 öffnen
    An Introduction to Programming and Proving with Dependent Types in Coq
    Chlipala, Adam
    In: Journal of Formalized Reasoning, Jg. 3 (2010), Heft 2, S. 1-93
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 69 öffnen
    Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets
    Grimm, José
    In: Journal of Formalized Reasoning, Jg. 3 (2010), Heft 1, S. 79-126
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 70 öffnen
    Assessment of the expected cost of quality (COQ) in construction projects in Egypt using artificial neural network model
    Hany Shoukry Tawfek ; Hossam El-Deen H. Mohammed ; et al.
    In: HBRC Journal, Jg. 8 (2012-08-01), Heft 2, S. 132-143
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 71 öffnen
    Teneur en énergie métabolisable et digestibilité des acides aminés chez le coq de deux sous-produits de l'extraction de l'huile : tourteau de palmiste pressé (Elaeis guineensis) et germe et son de maïs extrait (Zea mays)
    Vilariño, Maria ; Rudeaux, F. ; et al.
    In: Revue d’Elevage et de Médecine Vétérinaire des Pays Tropicaux, Jg. 49 (1996-03-01), Heft 3
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 72 öffnen
    Laurent Coq / Walter Smith III, The Lafayette Suite.
    Florin, Ludovic
    In: Miranda: Revue Pluridisciplinaire du Monde Anglophone, Jg. 12 (2016-03-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 73 öffnen
    Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator
    Vidal, Concepción ; Aguado, Felicidad ; et al.
    In: Journal of Formalized Reasoning, Jg. 1 (2008-12-01), Heft 1, S. 25-37
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 74 öffnen
    Blanchette, Jean-François. Du coq à l’âme. L’art populaire au Québec
    Falq, Armand
    In: Voix Plurielles, Jg. 12 (2015-12-01), Heft 2
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 75 öffnen
    Les combats de coqs à Timor-Leste : un jeu d’argent institutionnalisable ?
    Redon, Marie
    In: Sciences du Jeu, Jg. 3 (2015-07-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 76 öffnen
    Evaluación de Líneas de Sorgo por su Resistencia a la Mosquita, Stenodiplosis sorghicola (Coq.) en Nicaragua
    Obando, R. ; Gutiérrez, C. ; et al.
    In: La Calera, Jg. 6 (2007-06-01), Heft 7, S. 51-54
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 77 öffnen
    Des Alpes aux Andes : quand Adam et Eve passent du coq à l’âne, ou la tâche ardue du traducteur
    Bourgue, Stéphane
    In: Mutatis Mutandis, Jg. 3 (2010-07-01), Heft 1, S. 91-115
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 78 öffnen
    The repellency and anti-oviposition effects of Thiem-seed oil and Thiem-seed crude extract on melon fly (Bactrocera cucurbitae Coq., Diptera : Tephritidae)
    Sritangnanta, S. ; Ngampongsai, A. ; et al.
    In: Songklanakarin Journal of Science and Technology (SJST), Jg. 28 (2006), Heft 1, S. 121-135
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 79 öffnen
    Formal Proof of a Machine Closed Theorem in Coq
    Wan, Hai ; He, Anping ; et al.
    In: Journal of Applied Mathematics, Jg. 2014 (2014)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 80 öffnen
    Direct comparison of spatial transcriptional heterogeneity across diverse Bacillus subtilis biofilm communities
    Dergham, Yasmine ; Dominique Le Coq ; et al.
    In: Nature Communications, Jg. 14 (2023-11-01), Heft 1, S. 1-12
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -