Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 0202 electrical engineering, electronic engineering, information engineering 8 Treffer
- computer science 8 Treffer
- theoretical computer science 6 Treffer
- 020201 artificial intelligence & image processing 5 Treffer
- cryptographic protocol 5 Treffer
-
45 weitere Werte:
- 01 natural sciences 4 Treffer
- 0102 computer and information sciences 4 Treffer
- 010201 computation theory & mathematics 4 Treffer
- business 4 Treffer
- business.industry 4 Treffer
- computer 4 Treffer
- computer.software_genre 4 Treffer
- general computer science 4 Treffer
- 020204 information systems 3 Treffer
- formal methods 3 Treffer
- [info.info-cr] computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- [info.info-db] computer science [cs]/databases [cs.db] 2 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 2 Treffer
- [info]computer science [cs] 2 Treffer
- 020207 software engineering 2 Treffer
- 0211 other engineering and technologies 2 Treffer
- 021110 strategic, defence & security studies 2 Treffer
- anonymity 2 Treffer
- class (computer programming) 2 Treffer
- computational mathematics 2 Treffer
- computer science - databases 2 Treffer
- computer science - logic in computer science 2 Treffer
- computer security 2 Treffer
- computingmilieux_miscellaneous 2 Treffer
- cryptography 2 Treffer
- databases (cs.db) 2 Treffer
- decidability 2 Treffer
- differential privacy 2 Treffer
- equivalence (measure theory) 2 Treffer
- f.3.1 2 Treffer
- formal verification 2 Treffer
- logic 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- mathematics 2 Treffer
- media_common 2 Treffer
- media_common.quotation_subject 2 Treffer
- programming language 2 Treffer
- protocol (science) 2 Treffer
- security protocols 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 020206 networking & telecommunications 1 Treffer
- 05 social sciences 1 Treffer
- 0501 psychology and cognitive sciences 1 Treffer
- 050104 developmental & child psychology 1 Treffer
- 06 humanities and the arts 1 Treffer
Verlag
Publikation
Sprache
10 Treffer
-
In: Communications of the ACM, Jg. 60 (2017-11-27), S. 79-86Online unknownZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-02-01), S. 1-32Online unknownZugriff:
-
2014Online unknownZugriff: