Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formal methods 63 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 51 Treffer
- [info.info-dc]computer science [cs]/distributed 35 Treffer
- and cluster computing [cs.dc] 35 Treffer
- parallel 35 Treffer
-
45 weitere Werte:
- assistant de preuve 34 Treffer
- essaims de robots mobiles 27 Treffer
- coq 25 Treffer
- espace euclidien 25 Treffer
- compilation 14 Treffer
- connexion 14 Treffer
- formal verification 14 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
- graphe 13 Treffer
- preuve formelle 13 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 12 Treffer
- securite 11 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 10 Treffer
- extraction 9 Treffer
- proof assistant 9 Treffer
- assistant a la preuve 8 Treffer
- code analysis 8 Treffer
- fixed-point arithmetic 8 Treffer
- preuve 8 Treffer
- program verification 8 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 7 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 7 Treffer
- [info]computer science [cs] 7 Treffer
- asychronous 7 Treffer
- coq proof assistant 7 Treffer
- langage c 7 Treffer
- preuve de programme 6 Treffer
- proof of programs 6 Treffer
- security 6 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 5 Treffer
- assistants de preuve 5 Treffer
- assurance qualite 5 Treffer
- certification 5 Treffer
- computational model 5 Treffer
- confluence 5 Treffer
- cryptographie 5 Treffer
- cryptography 5 Treffer
- logiciel libre 5 Treffer
- pactole 5 Treffer
- provable security 5 Treffer
- reecriture 5 Treffer
- termination 5 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 4 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/ 7 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 7 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 7 Treffer
- theses.fr 3 Treffer
Sprache
Geographischer Bezug
109 Treffer
-
In: https://theses.hal.science/tel-03202580 ; Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩, 2021Online HochschulschriftZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101795 ; [Research Report] LIP RR-2001-12, Laboratoire de l'informatique du parallélisme. 2001, 2+9p, 2001Online reportZugriff:
-
In: https://hal.science/tel-03356701 ; Software Engineering [cs.SE]. Université Grenoble-Alpes, 2021, 2021Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01534575 ; Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2016. Français. ⟨NNT : 2016SACLS525⟩, 2016Online HochschulschriftZugriff:
-
2016HochschulschriftZugriff:
-
In: https://hal.inria.fr/tel-01989940 ; Hardware Architecture [cs.AR]. CentraleSupélec, 2018. English. ⟨NNT : 2018CSUP0002⟩, 2018Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01483676 ; Programming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S088⟩, 2016Online HochschulschriftZugriff:
-
2009Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01318995 ; Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM002⟩, 2016Online HochschulschriftZugriff: