Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020201 artificial intelligence & image processing 22 Treffer
- theoretical computer science 21 Treffer
- mathematics 20 Treffer
- computer science 18 Treffer
- computer science::logic in computer science 17 Treffer
-
45 weitere Werte:
- discrete mathematics 17 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 16 Treffer
- automaton 16 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 14 Treffer
- decidability 14 Treffer
- nonlinear sciences::cellular automata and lattice gases 10 Treffer
- automata theory 9 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 8 Treffer
- 020207 software engineering 8 Treffer
- algorithm 8 Treffer
- fos: computer and information sciences 8 Treffer
- general computer science 8 Treffer
- timed automaton 8 Treffer
- 16. peace & justice 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- undecidable problem 7 Treffer
- [info]computer science [cs] 6 Treffer
- complexity 6 Treffer
- computer science - logic in computer science 6 Treffer
- logic in computer science (cs.lo) 6 Treffer
- nested word 6 Treffer
- computer science - formal languages and automata theory 5 Treffer
- formal languages and automata theory (cs.fl) 5 Treffer
- pspace 5 Treffer
- quantum finite automata 5 Treffer
- temporal logic 5 Treffer
- 0101 mathematics 4 Treffer
- 010102 general mathematics 4 Treffer
- combinatorics 4 Treffer
- deterministic automaton 4 Treffer
- model checking 4 Treffer
- petri net 4 Treffer
- probabilistic logic 4 Treffer
- pushdown automaton 4 Treffer
- software 4 Treffer
- tree automata 4 Treffer
- tree automaton 4 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- 000 computer science, knowledge, general works 3 Treffer
- class (set theory) 3 Treffer
- computational complexity theory 3 Treffer
- computational theory and mathematics 3 Treffer
- computer 3 Treffer
- computer.software_genre 3 Treffer
- expressive power 3 Treffer
Verlag
Publikation
Sprache
34 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 41 (2010-11-01), S. 61-75Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Theoretical Computer Science, , Heft 38-39, S. 3469-3480Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 534 (2014-05-01), S. 24-44Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 10 (2014-12-30)Online unknownZugriff:
-
In: Information and Computation, Jg. 187 (2003-11-01), S. 123-153Online unknownZugriff:
-
2012Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 6 (2010-12-21)Online unknownZugriff:
-
2009Online unknownZugriff: