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] 22 Treffer
- coq 17 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 16 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 10 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 8 Treffer
-
45 weitere Werte:
- [info.info-au]computer science [cs]/automatic control engineering 6 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 6 Treffer
- [info.info-dc]computer science [cs]/distributed 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
- [info.info-mc]computer science [cs]/mobile computing 6 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 6 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 6 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 6 Treffer
- and cluster computing [cs.dc] 6 Treffer
- assistant de preuve 6 Treffer
- formal proof 6 Treffer
- parallel 6 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 5 Treffer
- coq proof assistant 5 Treffer
- deductive verification 5 Treffer
- floating-point arithmetic 5 Treffer
- formal methods 5 Treffer
- translation validation 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- abstract interpretation 4 Treffer
- acm: d.: software/d.2: software engineering 4 Treffer
- interpretation abstraite 4 Treffer
- model-checking 4 Treffer
- parametricity 4 Treffer
- polymorphism 4 Treffer
- proof assistant 4 Treffer
- refinement 4 Treffer
- strength-reduction 4 Treffer
- tree automaton 4 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 3 Treffer
- [math.math-nt]mathematics [math]/number theory [math.nt] 3 Treffer
- [spi.nano]engineering sciences [physics]/micro and nanotechnologies/microelectronics 3 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.5: programming by contract 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.3: studies of program constructs/f.3.3.1: functional constructs 3 Treffer
- automatic theorem provers 3 Treffer
- certification 3 Treffer
- fermat's last theorem 3 Treffer
- formal verification 3 Treffer
- number theory 3 Treffer
- optimization 3 Treffer
- petri nets 3 Treffer
- reachability 3 Treffer
- risc-v 3 Treffer
Sprache
59 Treffer
-
In: https://hal.inria.fr/hal-03586813 ; 2022, 2022Online reportZugriff:
-
In: https://hal.inria.fr/hal-03592675 ; 2022, 2022Online reportZugriff:
-
In: https://hal.science/hal-02062288 ; 2019, 2019Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-02062288 ; 2019, 2019Online reportZugriff:
-
In: https://inria.hal.science/hal-03689027 ; 2022, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-03689027 ; 2022, 2022Online reportZugriff:
-
In: https://hal.inria.fr/hal-03689027 ; 2022, 2022Online reportZugriff:
-
In: https://hal.inria.fr/hal-03689027 ; 2022, 2022Online reportZugriff:
-
In: https://hal.inria.fr/hal-03359505 ; 2021, 2021Online reportZugriff:
-
In: https://hal.science/hal-00361302 ; 2009, 2009Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-00361302 ; 2009, 2009Online reportZugriff:
-
In: https://hal.science/hal-00009425 ; 2005, 2005Online reportZugriff:
-
In: https://hal.science/hal-00009425 ; 2005, 2005Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-00009425 ; 2005, 2005Online reportZugriff:
-
In: https://hal.inria.fr/hal-00955444 ; 2004, 2004Online reportZugriff:
-
In: https://hal.science/hal-04108775 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04108775 ; 2023, 2023Online reportZugriff:
-
In: https://hal.inria.fr/hal-03359508 ; 2021, 2021reportZugriff:
-
In: https://hal.science/hal-02292537 ; [Technical Report] Inria - Paris 7. 2015, 2015Online reportZugriff:
-
In: https://hal.science/hal-02292537 ; [Technical Report] Inria - Paris 7. 2015, 2015Online reportZugriff: