Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-ao]computer science [cs]/computer arithmetic 2 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 2 Treffer
- coq 2 Treffer
- 11 weitere Werte:
Sprache
3 Treffer
-
In: https://hal.archives-ouvertes.fr/tel-03326923 ; Programming Languages [cs.PL]. Université Grenoble Alpes, 2021. English, 2021Online HochschulschriftZugriff:
-
In: https://hal.science/tel-01327023 ; Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. ⟨NNT : ⟩, 2016Online HochschulschriftZugriff:
-
In: https://hal.science/tel-01327023 ; Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. ⟨NNT : ⟩, 2016Online HochschulschriftZugriff: