Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

44 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    L’articulation mélodico-rythmique du tenor dans les motets isorythmiques post-Machaut
    Roger, Kévin ; Centre d'études supérieures de la Renaissance UMR 7323 (CESR) ; et al.
    In: Rencontres de Musicologie Médiévale. Penser la musicologie médiévale aujourd'hui : interactions recherche et recherche-action, 2023
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    L’articulation mélodico-rythmique du tenor dans les motets isorythmiques post-Machaut
    Roger, Kévin ; Centre d'études supérieures de la Renaissance UMR 7323 (CESR) ; et al.
    In: Rencontres de Musicologie Médiévale. Penser la musicologie médiévale aujourd'hui : interactions recherche et recherche-action, 2023
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formalisation en Coq des erreurs d'arrondi de méthodes de Runge-Kutta pour les systèmes matriciels
    Faissole, Florian ; Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) ; et al.
    In: AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-02391924 ; AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formalisation en Coq des erreurs d'arrondi de méthodes de Runge-Kutta pour les systèmes matriciels
    Faissole, Florian ; Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) ; et al.
    In: AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-02391924 ; AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Défis dans le développement collaboratif et ouvert de l'assistant de preuve Coq et de son écosystème
    Zimmermann, Théo ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; et al.
    In: GDR PL -Onzièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel ; https://inria.hal.science/hal-03914570 ; GDR PL -Onzièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2019, Toulouse, France, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Spinoza en Coq : démonstration complète des premières propositions de l’Éthique
    Mélès, Baptiste ; Université de Lorraine (UL) ; et al.
    In: Mathématiques, Informatique et Philosophie ; https://hal.science/hal-01224195 ; Mathématiques, 2015
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Spinoza en Coq : démonstration complète des premières propositions de l’Éthique
    Mélès, Baptiste ; Université de Lorraine (UL) ; et al.
    In: Mathématiques, Informatique et Philosophie ; https://hal.archives-ouvertes.fr/hal-01224195 ; Mathématiques, 2015
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formalization of an existence theorem of Nash equilibrium in Coq and Isabelle (Journées FAC 2017)
    Le Roux, Stéphane ; Martin-Dorel, Érik ; et al.
    In: Journées FAC 2017 ; https://hal.science/hal-03131861 ; Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France ; http://projects.laas.fr/IFSE/FAC/previous/journ%C3%A9es-fac-2017/, 2017
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Formalization of an existence theorem of Nash equilibrium in Coq and Isabelle (Journées FAC 2017)
    Le Roux, Stéphane ; Martin-Dorel, Érik ; et al.
    In: Journées FAC 2017 ; https://hal.science/hal-03131861 ; Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France ; http://projects.laas.fr/IFSE/FAC/previous/journ%C3%A9es-fac-2017/, 2017
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)
    Martin-Dorel, Érik ; Melquiond, Guillaume ; et al.
    In: Journées Formalisation des Activités Concurrentes (FAC 2016) ; https://hal.science/hal-03176418 ; Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, 2016
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)
    Martin-Dorel, Érik ; Melquiond, Guillaume ; et al.
    In: Journées Formalisation des Activités Concurrentes (FAC 2016) ; https://hal.science/hal-03176418 ; Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, 2016
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)
    Martin-Dorel, Érik ; Melquiond, Guillaume ; et al.
    In: Journées Formalisation des Activités Concurrentes (FAC 2016) ; https://hal.science/hal-03176418 ; Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, 2016
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)
    Martin-Dorel, Érik ; Melquiond, Guillaume ; et al.
    In: Journées Formalisation des Activités Concurrentes (FAC 2016) ; https://hal.archives-ouvertes.fr/hal-03176418 ; Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, 2016
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Comparaison des caryotypes de la poule (Gallus gallus domesticus) et du canard commun (Anas platyrhynchos)
    Fillon, Valerie ; Vignoles, Mireille ; et al.
    In: Colloque annuel S.F.G.- Génomique Comparative ; https://hal.inrae.fr/hal-02771634 ; Colloque annuel S.F.G.- Génomique Comparative, Apr 1999, Toulouse, France, 1999
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Comparaison des caryotypes de la poule (Gallus gallus domesticus) et du canard commun (Anas platyrhynchos)
    Fillon, Valerie ; Vignoles, Mireille ; et al.
    In: Colloque annuel S.F.G.- Génomique Comparative ; https://hal.inrae.fr/hal-02771634 ; Colloque annuel S.F.G.- Génomique Comparative, Apr 1999, Toulouse, France, 1999
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Comparaison des caryotypes de la poule (Gallus gallus domesticus) et du canard commun (Anas platyrhynchos)
    Fillon, Valerie ; Vignoles, Mireille ; et al.
    In: Colloque annuel S.F.G.- Génomique Comparative ; https://hal.inrae.fr/hal-02771634 ; Colloque annuel S.F.G.- Génomique Comparative, Apr 1999, Toulouse, France, 1999
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Comparaison des caryotypes de la poule (Gallus gallus domesticus) et du canard commun (Anas platyrhynchos)
    Fillon, Valerie ; Vignoles, Mireille ; et al.
    In: Colloque annuel S.F.G.- Génomique Comparative ; https://hal.inrae.fr/hal-02771634 ; Colloque annuel S.F.G.- Génomique Comparative, Apr 1999, Toulouse, France, 1999
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Cuisson d’une pâte céréalière par chauffage ohmique : mise en place d'un modèle numérique et validation expérimentale
    Gally, Timothée ; Rouaud, Olivier ; et al.
    In: Congrès Français de Thermique ; https://hal.science/hal-02357088 ; Congrès Français de Thermique, May 2016, Toulouse, France, 2016
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Cuisson d’une pâte céréalière par chauffage ohmique : mise en place d'un modèle numérique et validation expérimentale
    Gally, Timothée ; Rouaud, Olivier ; et al.
    In: Congrès Français de Thermique ; https://hal.science/hal-02357088 ; Congrès Français de Thermique, May 2016, Toulouse, France, 2016
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Cuisson d’une pâte céréalière par chauffage ohmique : mise en place d'un modèle numérique et validation expérimentale
    Gally, Timothée ; Rouaud, Olivier ; et al.
    In: Congrès Français de Thermique ; https://hal.archives-ouvertes.fr/hal-02357088 ; Congrès Français de Thermique, May 2016, Toulouse, France, 2016
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -