Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Sprache
Geographischer Bezug
10 Treffer
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff:
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff:
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://hal.inria.fr/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff:
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff:
-
In: Proceedings of the 6th Workshop on Formal Integrated Development Environment ; https://inria.hal.science/hal-03168208 ; Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩ ; https://cister-labs.pt/f-ide2021/, 2021Online KonferenzZugriff:
-
In: Proceedings of the 6th Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-03168208 ; Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩ ; https://cister-labs.pt/f-ide2021/, 2021Online KonferenzZugriff:
-
In: Proceedings of the 6th Workshop on Formal Integrated Development Environment ; https://inria.hal.science/hal-03168208 ; Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩ ; https://cister-labs.pt/f-ide2021/, 2021Online KonferenzZugriff:
-
In: 25th IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-01772272 ; 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States, 2018Online KonferenzZugriff:
-
In: 25th IEEE Symposium on Computer Arithmetic ; https://hal.inria.fr/hal-01772272 ; 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States, 2018Online KonferenzZugriff:
-
In: 25th IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-01772272 ; 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States, 2018Online KonferenzZugriff: