Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

112 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle
    Djalal, Boris
    2018
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée
    Lelay, Catherine
    2015
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog
    Dumbravă, Ştefania-Gabriela
    2016
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Algèbres de Kleene, réécriture modulo AC et circuits en coq
    Braibant, Thomas
    2012
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Scénario de long métrage, Les coqs joyeux ; suivi de Le fantastique, à la lumière des théories de Jean Fabre
    Genest, Catherine.
    1996
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    De nouveaux outils pour calculer avec des inductifs en Coq
    Boutillier, Pierre
    2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq
    Filou, Vincent
    2012
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.
    Soubiran, Elie
    2010
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq
    Letouzey, Pierre
    2004
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Formalisation et automatisation du raisonnement géométrique en Coq.
    Narboux, Julien
    2006
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Algèbres de Kleene, réécriture modulo AC et circuits en coq
    Braibant, Thomas
    2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Impacts de l'alimentation végétale, de la phytase et de la saison sur la composition de la litière et les performances zootechniques des coqs à chair
    Bergeron, Nadia
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Impacts de l'alimentation végétale, de la phytase et de la saison sur la composition de la litière et les performances zootechniques des coqs à chair
    Bergeron, Nadia
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    La réaction acrosomique du spermatozoïde chez le coq
    Lemoine, Manuela
    2009
    Hochschulschrift
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Quelques mots sur l'affection puerpérale (Cand. Etienne Coq).
    Coq, Etienne.
    1836
    unknown
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Le Cercle, la plume, le sang étude anthropologique des combats de coqs dans le nord de la France
    Cegarra, Marie
    1989
    unknown
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Etude des pertes azotées d'origine endogène dans le tube digestif chez trois espèces monogastriques, le Porc, le Coq et le Rat
    Auclair, Eric.
    1986
    unknown
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Evaluation de l'énergie métabolisable et de la digestibilité de l'azote chez le Coq comparaison des bilans avec ou sans marqueur, influence de la présence des caecums
    Ajam, Marwan
    1987
    unknown
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Le déterminisme des caractères sexuels secondaires du coq domestique Étude physiologique et histophysiologique ...
    Benoit, Jacques
    1929
    unknown
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Contribution à l'étude de la castration du coq et de l'autruche.
    Menet, Gaston-Auguste-André.
    1928
    unknown
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -