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] 34 Treffer
- methodes formelles 34 Treffer
- essaims de robots mobiles 32 Treffer
- assistant de preuve 27 Treffer
- espace euclidien 22 Treffer
-
45 weitere Werte:
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 18 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 18 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-iu]computer science [cs]/ubiquitous computing 10 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 7 Treffer
- [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-ni]computer science [cs]/networking and internet architecture [cs.ni] 6 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 6 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 6 Treffer
- assistant a la preuve 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
- asychronous 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 4 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 4 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 4 Treffer
- coq 4 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems/c.2.4.1: distributed applications 3 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability/d.4.5.2: fault-tolerance 3 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.0: complexity of proof procedures 3 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.1: computations on discrete structures 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.3: mechanical verification 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.3: studies of program constructs/f.3.3.4: type structure 3 Treffer
- programmation fonctionnelle 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- algorithmes distribues 2 Treffer
- autostabilisation 2 Treffer
- certification 2 Treffer
- programmation parallele 2 Treffer
- data representation 1 Treffer
- dependent types 1 Treffer
- formal proofs 1 Treffer
- isomorphisms 1 Treffer
- preuve assistee par ordinateur 1 Treffer
- random generation 1 Treffer
- rendez-vous 1 Treffer
Verlag
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
Sprache
Geographischer Bezug
60 Treffer
-
In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France, 2022Online KonferenzZugriff:
-
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: 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: 2017 International Conference on High Performance Computing & Simulation (HPCS) ; https://inria.hal.science/hal-02317110 ; 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. IEEE, 108, pp.893-894, 2017KonferenzZugriff:
-
In: 2017 International Conference on High Performance Computing & Simulation (HPCS) ; https://hal.inria.fr/hal-02317110 ; 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. pp.893-894, ⟨10.1109/HPCS.2017.140⟩, 2017KonferenzZugriff:
-
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: 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: