Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- [info]computer science [cs] 5 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 4 Treffer
- acm f.4.1 4 Treffer
-
16 weitere Werte:
- g.1.2 4 Treffer
- g.4 4 Treffer
- interactive theorem proving 4 Treffer
- modal logic 4 Treffer
- program verification 4 Treffer
- separation logic 4 Treffer
- taylor models 4 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 3 Treffer
- program analysis 3 Treffer
- rigorous polynomial approximation 3 Treffer
- verified compilation 3 Treffer
- floating-point arithmetic 2 Treffer
- formal methods 2 Treffer
- mathematical libraries 2 Treffer
- phil 1 Treffer
- socio 1 Treffer
Verlag
Sprache
Geographischer Bezug
13 Treffer
-
In: NASA Formal Methods 4th International Symposium, NFM 2012 ; Fourth NASA Formal Methods Symposium ; https://ens-lyon.hal.science/ensl-00653460, 2012Online KonferenzZugriff:
-
In: NASA Formal Methods 4th International Symposium, NFM 2012 ; Fourth NASA Formal Methods Symposium ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00653460, 2012Online KonferenzZugriff:
-
In: NASA Formal Methods 4th International Symposium, NFM 2012 ; Fourth NASA Formal Methods Symposium ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00653460, 2012Online KonferenzZugriff:
-
In: NASA Formal Methods 4th International Symposium, NFM 2012 ; Fourth NASA Formal Methods Symposium ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00653460, 2012Online KonferenzZugriff:
-
In: 30th IEEE International Symposium on Computer Arithmetic ; https://inria.hal.science/hal-04165169 ; 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon), United States. pp.4, 2023Online KonferenzZugriff:
-
In: 30th IEEE International Symposium on Computer Arithmetic ; https://inria.hal.science/hal-04165169 ; 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon), United States. pp.4, 2023Online KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.science/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.archives-ouvertes.fr/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.science/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff:
-
In: Computer Security Foundations Symposium ; https://inria.hal.science/hal-01588422 ; Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States, 2017Online KonferenzZugriff:
-
In: Computer Security Foundations Symposium ; https://inria.hal.science/hal-01588422 ; Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States, 2017Online KonferenzZugriff:
-
In: Computer Security Foundations Symposium ; https://hal.inria.fr/hal-01588422 ; Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States, 2017Online KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.science/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff: