Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formal verification 7 Treffer
- coinduction 5 Treffer
- natural semantics 3 Treffer
- operational semantics 3 Treffer
- big-step semantics 2 Treffer
-
24 weitere Werte:
- blockchain 2 Treffer
- coevaluation 2 Treffer
- compilers (computer programs) 2 Treffer
- ethereum 2 Treffer
- smart contracts 2 Treffer
- blockchains 1 Treffer
- compiler verification 1 Treffer
- computer software testing 1 Treffer
- computing platforms 1 Treffer
- contracts 1 Treffer
- coordinate transformations 1 Treffer
- deterministic algorithms 1 Treffer
- distributed computing 1 Treffer
- finite, the 1 Treffer
- implementation 1 Treffer
- mathematical transformations 1 Treffer
- model 1 Treffer
- paper arts 1 Treffer
- recursion 1 Treffer
- robot control systems 1 Treffer
- robot kinematics 1 Treffer
- robot motion 1 Treffer
- robots 1 Treffer
- semantics 1 Treffer
Publikation
Sprache
4 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
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!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: