Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 6 Treffer
- dependent types 3 Treffer
- proof assistant 2 Treffer
- refinement types 2 Treffer
- self-stabilization 2 Treffer
-
13 weitere Werte:
- bernstein polynomials 1 Treffer
- cad 1 Treffer
- computer algebra 1 Treffer
- e-commerce 1 Treffer
- mde 1 Treffer
- model transformation 1 Treffer
- programming language implementation 1 Treffer
- proof-carrying code 1 Treffer
- round complexity 1 Treffer
- software agents 1 Treffer
- stabilization time 1 Treffer
- subresultants 1 Treffer
- theorem proving 1 Treffer
Verlag
Publikation
- acm international conference proceeding series 1 Treffer
- acm sigplan notices 1 Treffer
- conference record of the annual acm symposium on principles of programming languages 1 Treffer
- dagstuhl seminar proceedings 1 Treffer
- formal aspects of component software - 10th international symposium, facs 2013, revised selected papers 1 Treffer
-
4 weitere Werte:
- lecture notes in computer science 1 Treffer
- leibniz international proceedings in informatics, lipics 1 Treffer
- proceedings - 23rd acm/ieee international conference on model driven engineering languages and systems, models 2020 1 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 1 Treffer
Sprache
8 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: