Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computational complexity 22 Treffer
- machine theory 20 Treffer
- game theory 16 Treffer
- algorithms 8 Treffer
- cryptography 8 Treffer
-
45 weitere Werte:
- graph theory 8 Treffer
- information theory 8 Treffer
- mathematical analysis 8 Treffer
- problem solving 8 Treffer
- semantics 8 Treffer
- verification 8 Treffer
- computer algorithms 6 Treffer
- computer network protocols 6 Treffer
- decidability 6 Treffer
- mathematical logic 6 Treffer
- mathematical models 6 Treffer
- set theory 6 Treffer
- tree automata 6 Treffer
- complexity 4 Treffer
- computable functions 4 Treffer
- computer logic 4 Treffer
- computer software 4 Treffer
- concurrency 4 Treffer
- decidability (mathematical logic) 4 Treffer
- electronic data processing 4 Treffer
- expressiveness 4 Treffer
- flatness 4 Treffer
- formal methods 4 Treffer
- games on graphs 4 Treffer
- intersection theory 4 Treffer
- linear-time temporal logic 4 Treffer
- mathematical bounds 4 Treffer
- mathematical proofs 4 Treffer
- mathematics 4 Treffer
- model checking 4 Treffer
- nash equilibrium 4 Treffer
- petri nets 4 Treffer
- polynomials 4 Treffer
- predicate calculus 4 Treffer
- probability theory 4 Treffer
- regular model checking 4 Treffer
- simulation methods & models 4 Treffer
- strategic planning 4 Treffer
- temporal logics 4 Treffer
- well-structured transition systems 4 Treffer
- abstract thought 2 Treffer
- abstraction 2 Treffer
- acceleration 2 Treffer
- ad hoc computer networks 2 Treffer
- addition (mathematics) 2 Treffer
Sprache
86 Treffer
-
In: Information & Computation, Jg. 259 (2018-04-03), S. 305-327Online academicJournal
-
In: Information & Computation, Jg. 258 (2018-02-01), S. 28-49Online academicJournal
-
In: Information & Computation, Jg. 255 (2017-08-01), S. 94-125Online academicJournal
-
In: Information & Computation, Jg. 254 (2017-06-02), S. 259-295Online academicJournal
-
In: Information & Computation, Jg. 254 (2017-06-02), S. 238-258Online academicJournal
-
In: Information & Computation, Jg. 254 (2017-06-02), S. 296-315Online academicJournal
-
In: Information & Computation, Jg. 254 (2017-06-02), S. 217-237Online academicJournal
-
In: Information & Computation, Jg. 245 (2015-12-01), S. 3-16Online academicJournal
-
In: Information & Computation, Jg. 245 (2015-12-01), S. 98-123Online academicJournal
-
In: Information & Computation, Jg. 242 (2015-06-01), S. 306-339Online academicJournal
-
In: Information & Computation, Jg. 242 (2015-06-01), S. 25-52Online academicJournal
-
In: Information & Computation, Jg. 241 (2015-04-01), S. 177-196Online academicJournal
-
In: Information & Computation, Jg. 238 (2014-11-01), S. 106-127Online academicJournal
-
In: Information & Computation, Jg. 238 (2014-11-01), S. 30-67Online academicJournal
-
In: Information & Computation, Jg. 283 (2022-02-01), S. N.PAGOnline academicJournal
-
In: Information & Computation, Jg. 282 (2022), S. N.PAGOnline academicJournal
-
In: Information & Computation, Jg. 234 (2014-02-01), S. 107-132Online academicJournal
-
In: Information & Computation, Jg. 224 (2013-03-01), S. 1-22Online academicJournal
-
In: Information & Computation, Jg. 211 (2012-02-01), S. 106-137Online academicJournal
-
In: Information & Computation, Jg. 209 (2011-03-01), Heft 3, S. 486-512Online academicJournal