Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Publikation
- certified programs and proofs : third international conference, cpp 2013, melbourne, vic, australia, december 11-13, 2013, proceedings 1 Treffer
- programming languages and systems : 33rd european symposium on programming, esop 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings, part i 1 Treffer
Sprache
5 Treffer
-
In: https://hal.science/hal-02062288 ; 2019, 2019Online reportZugriff:
-
2013Online E-BookZugriff:
-
In: https://hal.science/hal-01558252 ; 2017, 2017Online reportZugriff:
-
2024Online E-BookZugriff:
-
In: https://hal.science/hal-04177913 ; 2023, 2023Online reportZugriff: