Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoretical computer science 47 Treffer
- 01 natural sciences 41 Treffer
- 0102 computer and information sciences 39 Treffer
- 010201 computation theory & mathematics 39 Treffer
- 02 engineering and technology 38 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 37 Treffer
- fos: computer and information sciences 25 Treffer
- computer science - logic in computer science 22 Treffer
- logic in computer science (cs.lo) 20 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 19 Treffer
- 020201 artificial intelligence & image processing 19 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 18 Treffer
- 020207 software engineering 17 Treffer
- decidability 16 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 13 Treffer
- [info]computer science [cs] 13 Treffer
- computer science::logic in computer science 13 Treffer
- discrete mathematics 13 Treffer
- 16. peace & justice 12 Treffer
- 0101 mathematics 10 Treffer
- automaton 10 Treffer
- computer science(all) 10 Treffer
- computer science::formal languages and automata theory 10 Treffer
- 010102 general mathematics 9 Treffer
- algorithm 9 Treffer
- computer 9 Treffer
- computingmilieux_miscellaneous 9 Treffer
- mathematics 9 Treffer
- reachability 9 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 8 Treffer
- computer.software_genre 8 Treffer
- logic 8 Treffer
- model checking 8 Treffer
- petri net 8 Treffer
- probabilistic logic 8 Treffer
- algebra 7 Treffer
- computational mathematics 7 Treffer
- undecidable problem 7 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 6 Treffer
- cryptographic protocol 6 Treffer
- equivalence (formal languages) 6 Treffer
- f.1.1 6 Treffer
- temporal logic 6 Treffer
- 020204 information systems 5 Treffer
- computer science - formal languages and automata theory 5 Treffer
- distributed computing 5 Treffer
- equivalence (measure theory) 5 Treffer
- f.3.1 5 Treffer
- f.4.1 5 Treffer
- timed automaton 5 Treffer
Verlag
Publikation
Sprache
53 Treffer
-
In: ACM Transactions on Privacy and Security, Jg. 24 (2021-01-21), S. 1-34Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 777 (2019-07-01), S. 204-231Online unknownZugriff:
-
In: Journal of Computer and System Sciences, Jg. 100 (2019-03-01), S. 96-129Online unknownZugriff:
-
In: International Journal of Electrical and Computer Engineering (IJECE), Jg. 11 (2021-10-01), S. 4069-4069Online unknownZugriff:
-
In: Communications of the ACM, Jg. 60 (2017-11-27), S. 79-86Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 594 (2015-08-01), S. 24-43Online unknownZugriff:
-
In: Science China Information Sciences, Jg. 58 (2015-01-23), S. 1-15Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 308 (2014-10-01), S. 167-182Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: Journal of Computational Science, Jg. 4 (2013-07-01), S. 232-241Online unknownZugriff: