Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 27 Treffer
- 0102 computer and information sciences 26 Treffer
- 010201 computation theory & mathematics 26 Treffer
- computer science 22 Treffer
- 020201 artificial intelligence & image processing 19 Treffer
-
45 weitere Werte:
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 16 Treffer
- 020207 software engineering 13 Treffer
- computer 12 Treffer
- mathematics 11 Treffer
- theoretical computer science 10 Treffer
- 16. peace & justice 9 Treffer
- algorithm 9 Treffer
- automaton 9 Treffer
- computer science::formal languages and automata theory 9 Treffer
- computer.software_genre 9 Treffer
- business 8 Treffer
- business.industry 8 Treffer
- computer science::logic in computer science 8 Treffer
- decidability 8 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 8 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 7 Treffer
- discrete mathematics 7 Treffer
- programming language 7 Treffer
- theoryofcomputation_computationbyabstractdevices 7 Treffer
- 020206 networking & telecommunications 6 Treffer
- computingmilieux_miscellaneous 6 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 5 Treffer
- automata theory 5 Treffer
- temporal logic 5 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
- [info]computer science [cs] 4 Treffer
- cryptographic protocol 4 Treffer
- model checking 4 Treffer
- nested word 4 Treffer
- reachability 4 Treffer
- artificial intelligence 3 Treffer
- bounded function 3 Treffer
- finite-state machine 3 Treffer
- formal verification 3 Treffer
- horn clause 3 Treffer
- petri net 3 Treffer
- quantum finite automata 3 Treffer
- tree automaton 3 Treffer
- undecidable problem 3 Treffer
- 020204 information systems 2 Treffer
- algebra 2 Treffer
- arithmetic 2 Treffer
- authentication protocol 2 Treffer
- automated theorem proving 2 Treffer
- computation 2 Treffer
Sprache
33 Treffer
-
2017Online unknownZugriff:
-
2013Online unknownZugriff:
-
2013Online unknownZugriff:
-
2013Online unknownZugriff:
-
2012Online unknownZugriff:
-
2012Online unknownZugriff:
-
2011Online unknownZugriff:
-
2010Online unknownZugriff:
-
2010Online unknownZugriff:
-
2009Online unknownZugriff:
-
2009Online unknownZugriff: