Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Geographischer Bezug

315 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Etude de la minéralisation du squelette au cours du développement de l’embryon d’oiseau (Gallus gallus)
    Rousset, Célia ; Halgrain, Maëva ; et al.
    In: https://hal.inrae.fr/hal-03248658 ; [Stage] INRAE. 2021, 2021
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Le Voyage de Frédéric Gallus (Reise Friederich Galli) à l'ermitage de Saint-Michel
    Kahn, Didier ; Équipe CELLF 16-18 (CELLF-16-18) ; et al.
    In: https://hal.science/hal-03260423 ; 2021, 2021
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Coq, l'alpha et l'omega de la preuve pour B ?
    Colin, Samuel ; Mariano, Georges ; et al.
    In: https://hal.science/hal-00361302 ; 2009, 2009
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Prototype d'extension du système Coq
    Blanqui, Frédéric ; Constraintsomatic deduction and software properties proofs (PROTHEO) ; et al.
    In: https://inria.hal.science/inria-00099932 ; [Contrat] A04-R-505 || blanqui04e, 2004, 8 p, 2004
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Premiers pas vers un cours de géométrie en Coq pour le lycée
    Guilhot, Frédérique ; Software and mathematics (LEMME) ; et al.
    In: https://hal.inria.fr/inria-00071689 ; RR-4893, INRIA. 2003, 2003
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Vers la certification du compilateur v5 d'Esterel dans Coq
    Kaplan-Terrasse, Delphine ; Theory and Practice of Synchronous Reactive Systems (TICK) ; et al.
    In: https://inria.hal.science/inria-00072540 ; RR-4092, INRIA. 2000, 2000
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Démonstration automatique en Coq
    Garchery, Quentin ; Université Paris Diderot - Paris 7 (UPD7) ; et al.
    In: https://hal.science/hal-01874777 ; [Travaux universitaires] Paris Diderot; Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2018, 2018
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Le Voyage de Frédéric Gallus (Reise Friederich Galli) à l'ermitage de Saint-Michel ; The Voyage de Frédéric Gallus (Reise Friederich Galli) to St. Michel’s ermHeritage
    Kahn, Didier ; Équipe 16-18 (CELLF-16-18) ; et al.
    In: Hyper Article en Ligne - Sciences de l'Homme et de la Société ; 2021, 2021
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    une formalisation des faisceaux et des schémas affines en théorie des types avec Coq
    Chicli, Laurent ; Software and mathematics (LEMME) ; et al.
    In: https://hal.inria.fr/inria-00072403 ; RR-4216, INRIA. 2001, 2001
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Sémantique Naturelle et Coq : vers la spécification et les preuves sur les langages à objets
    Laurent, Olivier ; Design and Implementation of Programming Tools (CROAP) ; et al.
    In: https://hal.inria.fr/inria-00073382 ; RR-3307, INRIA. 1997, 1997
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Un assitant de vérification de preuves nommé Coq
    Vandomme, Elise
    In: Emission scientifique "L'oeuf ou la poule", Montréal, Canada [CA], 2017
    report
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Stratégie de cartographie intégrée du microchromosome 16 porteur du Complexe Majeur d'Histocompatibilité et des régions organisatrices du nucléole chez la poule domestique (Gallus gallus).
    Solinhac, Romain ; Leroux, Sophie ; et al.
    In: GDR de Cytogénomique, Rennes, INC, 2009
    report
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Avis de l'Anses relatif à l’élaboration d’une stratégie nationale de vaccination au regard de l’influenza aviaire hautement pathogène chez les galliformes
    Dufour, Barbara ; Ducatez, Mariette ; et al.
    In: https://anses.hal.science/anses-04082679 ; Saisine n°2022-SA-0139, Anses. 2022, 46 p, 2022
    report
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Axiomatisation d'un Lambda-Calcul avec Substitutions Explicites dans Coq
    Saibi, Amokrane ; Formal Specifications and Program Validation (COQ) ; et al.
    In: https://hal.inria.fr/inria-00074332 ; [Rapport de recherche] RR-2345, INRIA. 1994, 1994
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Codage arithmetique pour la description d'une distribution
    Coq, Guilhem ; Alata, Olivier ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Implantation de l'algorithme de Stalmarck dans le cadre de la cooperation COQ/ELAN
    Kacem, Hassen ; Constraintsomatic deduction and software properties proofs (PROTHEO) ; et al.
    In: https://inria.hal.science/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000
    report
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Final scientific report of the INRA pre-maturation project 2018-2020 PROVIDEFENSETitle of the project : Production of recombinant avian defensins for animal health ; Compte-rendu scientifique final du projet pre-maturation INRA 2018-2020 PROVIDEFENSE Titre du projet : Production de défensines aviaires recombinantes pour la santé animale
    Lalmanach, Anne-Christine ; Nicaud, Jean-Marc ; et al.
    In: https://hal.inrae.fr/hal-04188500 ; INRAE. 2020, 7 p, 2020
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    CARTO ALEA (Zones inondables) 4.1.7. : Régionalisation des paramètres IRIP
    Breil, Pascal ; Abekhzer, Hélène ; et al.
    In: https://hal.inrae.fr/hal-03787485 ; [Rapport de recherche] INRAE UR-RiverLy. 2020, 2020
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Cartographie des acteurs et instruments et intégration des concepts dans les politiques climatiques :synthèse des études de cas (France - Guadeloupe/Martinique ; Brésil
    In: https://shs.hal.science/halshs-02476743 ; [Rapport de recherche] CIRAD. 2019, 2019
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Evaluation de la qualité des zones de production conchylicole. Départements : Nord, Pas-de-Calais et Somme. Edition 2019
    Verin, Francoise ; Devreker, David
    2019
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -