Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

309 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  2. Detailansicht für Treffer 2 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  3. Detailansicht für Treffer 3 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  4. Detailansicht für Treffer 4 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  5. Detailansicht für Treffer 5 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  6. Detailansicht für Treffer 6 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  7. Detailansicht für Treffer 7 öffnen
    Implementing the cylindrical algebraic decomposition within the Coq system : Constructive analysis, types and exact real numbers
    Mahboubi, A.
    In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Jg. 17 (2007), Heft 1, S. 99-127
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    The mimetic basis of pure music in Machaut's refrain songs: part 1, musical mimesis
    Maw, D
    2020
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    The mimetic basis of pure music in Machaut's Refrain Songs: Part 2, musical abstraction
    Maw, D
    2020
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates : Interactive Theorem Proving and the Formalisation of Mathematics
    Blanqui, F. ; Koprowski, A.
    In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Jg. 21 (2011), Heft 4, S. 827-859
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Epidemiologic significance of Toxoplasma gondii infections in chickens (Gallus domesticus): the past decade
    Dubey, J. P. ; Pena, H. F. J. ; et al.
    In: Parasitology, 2020
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Alector ou le coq: Histoire fabuleuse, 1500, 2 vols
    Conley, Tom
    In: Renaissance Quarterly, Jg. 50 (1997-03-22), Heft 1, S. 251-260
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  14. Detailansicht für Treffer 14 öffnen
    The Games of L. Anicius Gallus and the Cultural Politics of Music in the Second Century BCE
    In: Music, Politics and Society in Ancient Rome ; page 42-82 ; ISBN 9781009232326 9781009232333 9781009232319; (2022)
    Buch
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Alector Ou Le Coq, Vols. 1-2
    In: Renaissance Quarterly, Jg. 50 (1997-03-22), Heft 1, S. 251
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A constructive denotational semantics for Kahn networks in Coq
    Paulin-Mohring, Christine ; Laboratoire de Recherche en Informatique (LRI) ; et al.
    In: From Semantics to Computer Science ; https://inria.hal.science/inria-00431806 ; Yves Bertot and Gérard Huet and Jean-Jacques Lévy and Gordon Plotkin. From Semantics to Computer Science, Cambridge University Press, pp.383-413, 2009, 9780521518253; (2009)
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Implementing the cylindrical algebraic decomposition within the Coq system.
    ASSIA, MAHBOUBI
    In: Mathematical Structures in Computer Science, Jg. 17 (2007-02-01), Heft 1, S. 99-127
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Crisis and Innovation ; Between Magnentius and Gallus
    In: Emperor and Senators in the Reign of Constantius II ; page 171-213 ; ISBN 9781108646086 9781108481014 9781108703710; (2018)
    Buch
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Beyond and behind Le Coq d’or
    Caddy, Davinia
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Import/Export ; Empire and Appropriation in the Gallus Papyrus from Qasr Ibrim
    Myers, Micah Y.
    In: Rome, Empire of Plunder ; page 214-236; (2017)
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -