Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- assistant de preuve 26 Treffer
- espace euclidien 22 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 13 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 13 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 13 Treffer
-
9 weitere Werte:
- connexion 13 Treffer
- graphe 13 Treffer
- preuve formelle 12 Treffer
- pactole 11 Treffer
- assistant a la preuve 6 Treffer
- asychronous 5 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 3 Treffer
- [info.info-dc] computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 1 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
Publikation
- algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02115611 ; algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications, jun 2019, saint laurent de la cabrerisse, france. pp.1-4 ; https://www.irit.fr/algotel2019/ 5 Treffer
- algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02871295 ; algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications, sep 2020, lyon, france 5 Treffer
- algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-03219933 ; algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications, 2021, la rochelle, france 5 Treffer
Geographischer Bezug
3 Treffer
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-02871295 ; ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France, 2020Online KonferenzZugriff:
-
In: ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-02115611 ; ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4 ; https://www.irit.fr/algotel2019/, 2019Online KonferenzZugriff: