Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 6 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 6 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 6 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 6 Treffer
-
13 weitere Werte:
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 6 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 6 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 6 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 6 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 6 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.3: coding tools and techniques 5 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 5 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 3 Treffer
- assistant de preuve 3 Treffer
- programmation fonctionnelle 3 Treffer
- programmation parallele 2 Treffer
- transformation de programmes 1 Treffer
Sprache
11 Treffer
-
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&, 2013Online KonferenzZugriff:
-
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&, 2013Online KonferenzZugriff:
-
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/, 2016KonferenzZugriff:
-
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/, 2016KonferenzZugriff:
-
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/, 2016KonferenzZugriff:
-
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/, 2016KonferenzZugriff:
-
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/, 2016KonferenzZugriff:
-
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/, 2016KonferenzZugriff:
-
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, 2014KonferenzZugriff:
-
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, 2014KonferenzZugriff:
-
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, 2014KonferenzZugriff: