Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 4 Treffer
- [info]computer science [cs] 4 Treffer
- complexity 4 Treffer
-
34 weitere Werte:
- markov decision processes 4 Treffer
- value iteration 4 Treffer
- pspace 3 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 2 Treffer
- asynchronous systems 2 Treffer
- boolean networks 2 Treffer
- buchi automaton 2 Treffer
- concurrency 2 Treffer
- model-checking 2 Treffer
- presburger arithmetic 2 Treffer
- systems biology 2 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 1 Treffer
- 2exptime 1 Treffer
- alternating-time temporal logic atl 1 Treffer
- arithmetical constraint 1 Treffer
- computation 1 Treffer
- concrete domain 1 Treffer
- equivalence problem 1 Treffer
- first-order logic 1 Treffer
- freeze quantifier 1 Treffer
- linear-time temporal logic ltl 1 Treffer
- minsky machine 1 Treffer
- one-counter automaton 1 Treffer
- parameter synthesis 1 Treffer
- periodicity constraint 1 Treffer
- qbf 1 Treffer
- resource 1 Treffer
- strategy 1 Treffer
- symbolic model 1 Treffer
- temporal logic 1 Treffer
- time granularity 1 Treffer
- undecidability 1 Treffer
- vector addition system 1 Treffer
- weighted automata 1 Treffer
Verlag
Sprache
17 Treffer
-
In: ISSN: 1879-2294, 2010Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2019Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2019Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2018Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2018Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2018Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2018Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2018Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2014Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2008Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2006Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2015academicJournalZugriff:
-
In: ISSN: 1879-2294, 2015academicJournalZugriff:
-
In: ISSN: 1879-2294, 2013academicJournalZugriff:
-
In: ISSN: 1879-2294, 2013academicJournalZugriff:
-
In: ISSN: 1879-2294, 2013academicJournalZugriff:
-
In: ISSN: 1879-2294, 2013academicJournalZugriff: