Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

2.978 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    DON'T BE SO COQ-Y FRANCE. Damien.Lane@the-sun.ie @Damienlanesun Damien Lane.
    In: The Sun (London, England), 2024-03-29, S. 13
    Zeitungsartikel
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Does my coq look big in this? FRANCE FOOTIE FANS' FURY.
    In: The Sun (London, England), 2024-03-27, S. 25
    Zeitungsartikel
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Researchers from University of Strasbourg Discuss Findings in Automated Reasoning (A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry).
    In: Computer Weekly News, 2024-03-06, S. 1188
    Zeitungsartikel
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    LE COQ v ROCK. PADDY POWER MEDIA PRESENTS FROM THE HORSE'S MOUTH podfollow.com/horsesmouth.
    In: The Sun (London, England), 2023-11-18, S. 40
    Zeitungsartikel
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    MetaCoq : de la métaprogrammation à l'extraction certifiée pour Coq
    Sozeau, Matthieu ; Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE) ; et al.
    In: 35es Journées Francophones des Langages Applicatifs (JFLA 2024) ; https://inria.hal.science/hal-04407164 ; 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France, 2024
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Project Management Assistance In Pyrotechnic Safety And Pyrotechnic Safety Study In The Context Of The Development Of A High-traffic Area For Travelers - La Belle Epine - Vezin-le-coq.
    In: Mena Report, 2024-04-22
    Online Zeitungsartikel
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Une traduction de la Vita Sancti Blandini de Foulcoie de Beauvais par Nicolas le Coq, diacre de Meaux (1705)
    WILMART, Mickaël
    In: Revue d'histoire et d'art de la Brie et du pays de Meaux, 2000, Heft 51, S. 39-58
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Pragmatic isomorphism proofs between coq representations: application to lambda-term families
    Dubois, Catherine ; Magaud, Nicolas ; et al.
    In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Society - 'Golden Coq' returned to southern French village after 25 years.
    In: RFI, 2024-01-03
    Zeitungsartikel
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Researchers from University of Strasbourg Discuss Findings in Automated Reasoning (A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry).
    In: Computer Weekly News, 2024-03-06, S. 1188
    Zeitungsartikel
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    French cooking in a class above the rest; Parisian culinary academy Le Cordon Bleu returns to the city with technique-focused workshops. We attend the first of them and learn to cook coq au vin-style chicken.
    Mok, Charmaine
    In: South China Morning Post (Hong Kong), 2023-06-23
    Zeitungsartikel
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    How to tell if a restaurant is serving you a ready meal; Pre-cooked eggs, coq-au-vin boiled in the bag: it seems there is no limit to the corners restaurants can cut.
    In: The Telegraph Online, 2023-10-28
    Zeitungsartikel
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    How to tell if a restaurant is serving you a ready meal; Pre-cooked eggs, coq-au-vin boiled in the bag: it seems there is no limit to the corners restaurants can cut.
    Cumming, Ed
    In: The Telegraph Online, 2023-10-28
    Zeitungsartikel
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    New Automated Reasoning Findings from University of Paris Saclay Reported (Enabling Floating-point Arithmetic In the Coq Proof Assistant).
    In: Computer Weekly News, 2023-12-06, S. 449
    Zeitungsartikel
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    FaCiLe en Coq : vérification formelle des listes d'intervalles
    Ledein, Amélie ; Dubois, Catherine ; et al.
    In: JFLA 2020 : Journées Francophones des Langages Applicatifs ; Les 31es Journées Francophones des Langages Applicatifs (JFLA) ; https://hal.science/hal-04344249 ; Les 31es Journées Francophones des Langages Applicatifs (JFLA), Jan 2020, Gruisan, France, 2020
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi
    Cohen, Cyril ; Sakaguchi, Kazuhiko ; et al.
    In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Quels sont les besoins comportementaux de l'espèce Gallus gallus domesticus ? ; What are the behavioural needs of the Gallus gallus species?
    Warin, Laura ; Guinebretière, Maryse ; et al.
    In: 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras ; https://hal.inrae.fr/hal-03797364 ; 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras, Mar 2022, Tours, France, 2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Bécassine à la chasse au Coq (démonstration)
    Blot, Valentin ; Dubois de Prisque, Louise ; et al.
    In: Journées Francophones des Langages Applicatifs ; JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-03604902 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France ; http://jfla.inria.fr/jfla2022.html, 2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Hydras & Co.: Formalized mathematics in Coq for inspiration and entertainment
    Castéran, Pierre ; Damour, Jérémy ; et al.
    In: Journées Francophones des Langages Applicatifs: JFLA 2022 ; https://hal.science/hal-03404668 ; Journées Francophones des Langages Applicatifs: JFLA 2022, Jun 2022, St-Médard d'Excideuil, France, 2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Number Notation dans Coq (démonstration)
    Roux, Pierre ; ONERA / DTIS, Université de Toulouse Toulouse ; et al.
    In: Journées Francophones des Langages Applicatifs ; 33èmes Journées Francophones des Langages Applicatifs ; https://hal.inria.fr/hal-03626860 ; 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.272-281 ; http://jfla.inria.fr/jfla2022.html, 2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -