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 3 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 2 Treffer
- 020204 information systems 2 Treffer
- computer 2 Treffer
- simple (military communications protocol) 2 Treffer
-
45 weitere Werte:
- theoretical computer science 2 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info]computer science [cs] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 0211 other engineering and technologies 1 Treffer
- 021110 strategic, defence & security studies 1 Treffer
- abstraction (linguistics) 1 Treffer
- ackermann function 1 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems 1 Treffer
- acm: h.: information systems/h.1: models and principles 1 Treffer
- analysis of algorithms 1 Treffer
- class (computer programming) 1 Treffer
- completeness (order theory) 1 Treffer
- computer science - databases 1 Treffer
- computer.programming_language 1 Treffer
- computer.software_genre 1 Treffer
- construct (python library) 1 Treffer
- databases (cs.db) 1 Treffer
- datalog 1 Treffer
- declarative 1 Treffer
- development (topology) 1 Treffer
- discrete mathematics 1 Treffer
- download 1 Treffer
- formal methods 1 Treffer
- formal verification 1 Treffer
- fos: computer and information sciences 1 Treffer
- infinite set 1 Treffer
- information retrieval 1 Treffer
- mathematical proof 1 Treffer
- monitoring 1 Treffer
- oracle 1 Treffer
- peer to peer 1 Treffer
- peers 1 Treffer
- petri net 1 Treffer
- programming language 1 Treffer
- protocol (object-oriented programming) 1 Treffer
- pspace 1 Treffer
- qa 1 Treffer
- reasoning 1 Treffer
- representation (mathematics) 1 Treffer
- rotation formalisms in three dimensions 1 Treffer
- rule-based system 1 Treffer
- semantics (computer science) 1 Treffer
- ssh file transfer protocol 1 Treffer
Publikation
Sprache
4 Treffer
-
In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020-10-30Online unknownZugriff:
-
In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016-07-05Online unknownZugriff:
-
In: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems, 2013-06-22Online unknownZugriff:
-
In: Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data, 2013-06-22Online unknownZugriff: