Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 14 Treffer
- coq proof assistant 4 Treffer
- theorem proving 3 Treffer
- formal verification 2 Treffer
- higher-order abstract syntax 2 Treffer
-
45 weitere Werte:
- interactive theorem proving 2 Treffer
- logical frameworks 2 Treffer
- abstract machines 1 Treffer
- archetypes 1 Treffer
- assembly language 1 Treffer
- automated reasoning 1 Treffer
- bicategories 1 Treffer
- call-by-need 1 Treffer
- certification 1 Treffer
- certified programming 1 Treffer
- complexity 1 Treffer
- computer architecture 1 Treffer
- consistency 1 Treffer
- cost models 1 Treffer
- cryptography 1 Treffer
- curry-howard isomorphism 1 Treffer
- cut admissibility 1 Treffer
- domain-specific languages 1 Treffer
- dram 1 Treffer
- dynamic properties 1 Treffer
- edsl 1 Treffer
- e-government 1 Treffer
- financial contracts 1 Treffer
- formal methods 1 Treffer
- formal semantics 1 Treffer
- gpu 1 Treffer
- higher inductive types 1 Treffer
- homotopy type theory 1 Treffer
- implementations 1 Treffer
- k framework 1 Treffer
- memory controller 1 Treffer
- modal logic 1 Treffer
- modeling 1 Treffer
- openflow 1 Treffer
- operational semantics 1 Treffer
- program verification 1 Treffer
- proof assistant 1 Treffer
- property-based testing 1 Treffer
- quickcheck 1 Treffer
- reo 1 Treffer
- scalability 1 Treffer
- self-stabilization 1 Treffer
- separation logic 1 Treffer
- software correctness 1 Treffer
- software defined network 1 Treffer
Sprache
24 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!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!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: ACM International Conference Proceeding Series, 2009-08-03, S. 38-45KonferenzZugriff:
-
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!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!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!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: