Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 38 Treffer
- methodes formelles 34 Treffer
- essaims de robots mobiles 32 Treffer
- assistant de preuve 27 Treffer
- espace euclidien 22 Treffer
-
38 weitere Werte:
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 12 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 12 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 12 Treffer
- connexion 12 Treffer
- graphe 12 Treffer
- pactole 11 Treffer
- preuve formelle 11 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 9 Treffer
- assistant a la preuve 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 5 Treffer
- asychronous 5 Treffer
- coq 3 Treffer
- programmation fonctionnelle 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 2 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 2 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 2 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 2 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 2 Treffer
- algorithmes distribues 2 Treffer
- autostabilisation 2 Treffer
- calculs de processus 2 Treffer
- canaux 2 Treffer
- certification 2 Treffer
- channels 2 Treffer
- concurrence 2 Treffer
- concurrency 2 Treffer
- confluence 2 Treffer
- determinism 2 Treffer
- determinisme 2 Treffer
- process calculi 2 Treffer
- programmation parallele 2 Treffer
- signals 2 Treffer
- signaux 2 Treffer
- synchrone 2 Treffer
- preuve assistee par ordinateur 1 Treffer
- rendez-vous 1 Treffer
- transformation de programmes 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
53 Treffer
-
In: JFLA - Journées francophones des langages applicatifs ; https://hal.inria.fr/hal-00779700 ; JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France, 2013Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; https://hal.science/hal-02302086 ; Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France, 2019Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-02302086 ; Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France, 2019Online KonferenzZugriff:
-
In: Informatique Mathématique ; https://inria.hal.science/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: Informatique Mathématique ; https://inria.hal.science/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: Informatique Mathématique ; https://hal.inria.fr/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: Informatique Mathématique ; https://inria.hal.science/hal-01107296 ; Informatique Mathématique, CNRS Éditions, 2015, collection Alpha ; http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/; (2015)BuchZugriff:
-
In: 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2017) ; https://hal.science/hal-01516801 ; 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2017), May 2017, Quiberon, France ; http://algotel2017.ensai.fr/, 2017Online KonferenzZugriff:
-
In: 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2017) ; https://hal.archives-ouvertes.fr/hal-01516801 ; 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2017), May 2017, Quiberon, France ; http://algotel2017.ensai.fr/, 2017Online KonferenzZugriff:
-
In: https://inria.hal.science/hal-00966633 ; 2014, 2014unknownZugriff:
-
In: https://hal.inria.fr/hal-00966633 ; 2014, 2014unknownZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff:
-
In: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933, 2021Online KonferenzZugriff: