Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

529 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Imperative programming by refinement in the Coq proof assistant ; Programmation impérative par raffinements avec l'assistant de preuve Coq
    Sall, Boubacar Demba ; université, Sorbonne ; et al.
    In: Theses.fr, 2020
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Le Coq joue ; The Coq plays
    Christophe, Philippe
    In: Le Coq-héron ; Le Coq-héron, n`supbo`/supb 173, 2, 2003-05-01, pp.155-155, 2003
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    Recension « Guillaume de Machaut, Quatre Dits, traduits et annotés par Isabelle Bétemps, Paris, Honoré Champion, 2008 » ; ‘Guillaume de Machaut, four known as, translated and annotated by Isabelle Bétemps, Paris, Honoré Champion, 2008’
    Doudet, Estelle
    In: Serveur académique Lausannois ; Cahiers de Recherches Médiévales, 2009
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Le coq et le klaxon, ou la France à la découverte du bruit (1945-1975) ; Toq and klaxon, or France at the discovery of noise (1945-1975)
    Granger, Christophe
    In: Vingtième Siècle. Revue d'histoire ; Vingtième Siècle. Revue d'histoire, N 123, 2014
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry ; Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective
    Braun, David ; Strasbourg ; et al.
    In: Theses.fr, 2019
    Hochschulschrift
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Une revue d'artiste à géométrie variable : `ibOXO`/ib de Pascal Le Coq ; An artist’s magazine with variable geometry: ‘ibOXO’/ib by Pascal Le Coq
    Boivent, Marie
    In: Nouvelle revue d’esthétique ; Nouvelle revue d’esthétique, n 2, 2008
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Le Coq international
    Dupont, Judith
    In: Le Coq-héron ; Le Coq-héron, n`supbo`/supb 177, 2, 2004-05-01, pp.179-180, 2004
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    Didier Lechat, “Dire par fiction”. Métamorphoses du ‘je’ chez Guillaume de Machaut, Jean Froissart et Christine de Pizan ; Didier Lechat, ‘Dire par fiction’. Metamorphoses of “I” at Guillaume de Machaut, Jean Froissart and Christine de Pizan
    Roccati, G. Matteo
    2020
    review
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    Actualité de Guillaume de Machaut ; News from Machaut Guillaume
    Lacassagne, Miren
    In: Le Moyen Age ; Le Moyen Age, CIX, 1, 2003-02-01, pp.129-138, 2003
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    « Nous devons un coq à Asclèpios » : Socrate et sa dernière énigme ; “We need a rooster in Asclèpios”: And its latest enigma
    Volant, Éric
    In: Frontières, 2003
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    Le Coq international
    Prado de Oliveira, Luiz Eduardo
    In: Le Coq-héron ; Le Coq-héron, n`supbo`/supb 169, 2, 2002-05-01, pp.127-136, 2002
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    Le coq, un symbole riche mais trop discret ; The rooster, a rich but too discreet symbol
    Fiszman, Marc
    In: La chaîne d'union ; La chaîne d'union, N 61, 3, 2012-01-03, pp.34-41, 2012
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    Successful reintroduction of capercaillie in the Harz ; Réintroduction réussie du grand coq de bruyère dans le Harz
    Pardé, Jean ; Station de Sylviculture et de Production CENTRE NATIONAL DE RECHERCHES FORESTIÈRES (I.N.R.A.) Champenoux 54280, SEICHAMPS
    In: Revue forestière française ; Revue Forestière Française [ISSN 0035-2829], 1983, Vol. 35, N° 2; p. 152-152, 2008
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    Le coq et le lion : Fable belge ; The rooster and lion: Belgian fable
    Rolin, Gabrielle
    In: Commentaire ; Commentaire, Numéro 120, 4, 2007-12-01, pp.971-972, 2007
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    Au coq gaulois : Repas républicains à toute heure ; In the Welsh rooster: Republican meals at any time
    Rowley, Anthony
    In: Commentaire ; Commentaire, Numéro 91, 3, 2000-09-01, pp.639-642, 2000
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    Introduction : « État des lieux de la théorie littéraire. Définitions, histoire, enjeux » ; Introduction: ‘State of play of literary theory. Definitions, history, challenges’
    Gally, Michèle
    In: Histoire de la recherche contemporaine, 2021
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    Le corps et la logique unaire ; The body and common logic
    Le Coq, Cécile
    In: L'en-je lacanien ;, 2021
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Kantisme et empirisme chez Hans Kelsen ; Kantism and empirism in Hans Kelsen
    Coq, Véronique
    2021
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    Kleene algebra, Rewriting modulo AC and Circuits in Coq. ; Algèbres de Kleene, réécriture modulo AC et circuits en coq
    Braibant, Thomas ; Grenoble ; et al.
    In: Theses.fr, 2012
    Hochschulschrift
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    La contractualisation du droit de la famille ; Contractualisation of family law
    Gallus, Nicole
    In: ORBi : Université de Liège; (2018)
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -