Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Bringing Coq Into the World of GCM Distributed Applications
    Gaspar, Nuno ; Henrio, Ludovic ; et al.
    In: International Symposium on High-level Parallel Programming and Applications&, HLPP ; https://inria.hal.science/hal-00880533 ; International Symposium on High-level Parallel Programming and Applications&, 2013
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Bringing Coq Into the World of GCM Distributed Applications
    Gaspar, Nuno ; Henrio, Ludovic ; et al.
    In: International Symposium on High-level Parallel Programming and Applications&, HLPP ; https://hal.inria.fr/hal-00880533 ; International Symposium on High-level Parallel Programming and Applications&, 2013
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
    Courtieu, Pierre ; Rieg, Lionel ; et al.
    In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
    Courtieu, Pierre ; Rieg, Lionel ; et al.
    In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
    Courtieu, Pierre ; Rieg, Lionel ; et al.
    In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
    Courtieu, Pierre ; Rieg, Lionel ; et al.
    In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
    Courtieu, Pierre ; Rieg, Lionel ; et al.
    In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
    Courtieu, Pierre ; Rieg, Lionel ; et al.
    In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches
    Loulergue, Frédéric ; Robillard, Simon ; et al.
    In: Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) ; https://inria.hal.science/hal-00979092 ; Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France, 2014
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches
    Loulergue, Frédéric ; Robillard, Simon ; et al.
    In: Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) ; https://hal.inria.fr/hal-00979092 ; Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France, 2014
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches
    Loulergue, Frédéric ; Robillard, Simon ; et al.
    In: Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) ; https://inria.hal.science/hal-00979092 ; Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France, 2014
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -