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
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.5: programming by contract 5 Treffer
- coq proof assistant 5 Treffer
- deductive verification 5 Treffer
- floating-point arithmetic 5 Treffer
- formal methods 5 Treffer
- ieee-754 standard 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
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications/d.2.1.1: languages 4 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.4: pre- and post-conditions 4 Treffer
- automatic theorem provers 4 Treffer
- interpretation abstraite 4 Treffer
- model-checking 4 Treffer
- parametricity 4 Treffer
- polymorphism 4 Treffer
- proof assistant 4 Treffer
- refinement 4 Treffer
- static analysis of programs 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: 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
- certification 3 Treffer
- fermat's last theorem 3 Treffer
- formal verification 3 Treffer
- interactive proof assistants 3 Treffer
Sprache
59 Treffer
-
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02611153 ; [Research Report] LIRMM, Université de Montpellier. 2020, 2020Online reportZugriff:
-
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02611153 ; [Research Report] LIRMM, Université de Montpellier. 2020, 2020Online reportZugriff:
-
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02611153 ; [Research Report] LIRMM, Université de Montpellier. 2020, 2020Online reportZugriff:
-
In: https://hal.science/hal-01558252 ; 2017, 2017Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01558252 ; 2017, 2017Online reportZugriff:
-
In: https://hal.inria.fr/inria-00000866 ; [Research Report] PI 1764, 2005, pp.35, 2005Online reportZugriff:
-
In: https://inria.hal.science/inria-00000866 ; [Research Report] PI 1764, 2005, pp.35, 2005Online reportZugriff:
-
In: https://inria.hal.science/inria-00000866 ; [Research Report] PI 1764, 2005, pp.35, 2005Online reportZugriff:
-
In: https://hal.inria.fr/inria-00000866 ; [Research Report] PI 1764, 2005, pp.35, 2005Online reportZugriff:
-
In: https://hal.inria.fr/inria-00258275 ; [Research Report] RR-6462, INRIA. 2008, pp.26, 2008Online reportZugriff:
-
In: https://inria.hal.science/inria-00258275 ; [Research Report] RR-6462, INRIA. 2008, pp.26, 2008Online reportZugriff:
-
In: https://hal.inria.fr/inria-00258275 ; [Research Report] RR-6462, INRIA. 2008, pp.26, 2008Online reportZugriff:
-
In: https://hal.science/hal-04108775 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04108775 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04108775 ; 2023, 2023Online reportZugriff:
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff:
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff:
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff:
-
In: https://hal.inria.fr/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff:
-
In: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34, 2009Online reportZugriff: