Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computational complexity 4 Treffer
- branching processes 2 Treffer
- completion 2 Treffer
- complexity 2 Treffer
- computer algorithms 2 Treffer
-
29 weitere Werte:
- constraint system 2 Treffer
- coverability 2 Treffer
- cryptography 2 Treffer
- decidability 2 Treffer
- digital signatures 2 Treffer
- flatness 2 Treffer
- formal methods 2 Treffer
- infinity (mathematics) 2 Treffer
- information theory 2 Treffer
- internet protocols 2 Treffer
- linear-time temporal logic 2 Treffer
- machine theory 2 Treffer
- markov decision process 2 Treffer
- mathematical models 2 Treffer
- model-checking 2 Treffer
- np-hard problems 2 Treffer
- operator theory 2 Treffer
- presburger arithmetic 2 Treffer
- security protocol 2 Treffer
- set theory 2 Treffer
- shortest path 2 Treffer
- stochastic analysis 2 Treffer
- strategic planning 2 Treffer
- stuttering 2 Treffer
- system of equations 2 Treffer
- termination 2 Treffer
- verification 2 Treffer
- well-structured transition systems 2 Treffer
- small solution 1 Treffer
Sprache
4 Treffer
-
In: Information & Computation, Jg. 258 (2018-02-01), S. 28-49Online academicJournal
-
In: Information & Computation, Jg. 254 (2017-06-02), S. 259-295Online academicJournal
-
In: Information & Computation, Jg. 242 (2015-06-01), S. 306-339Online academicJournal
-
In: Information & Computation, Jg. 238 (2014-11-01), S. 106-127Online academicJournal