Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 3 Treffer
- computer 3 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
-
45 weitere Werte:
- 020201 artificial intelligence & image processing 2 Treffer
- 020204 information systems 2 Treffer
- computer science - programming languages 2 Treffer
- computer science - software engineering 2 Treffer
- computer.programming_language 2 Treffer
- formal verification 2 Treffer
- programming languages (cs.pl) 2 Treffer
- software engineering (cs.se) 2 Treffer
- theoretical computer science 2 Treffer
- 020202 computer hardware & architecture 1 Treffer
- acl2 1 Treffer
- boolean satisfiability problem 1 Treffer
- bounded function 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- computer science - computer science and game theory 1 Treffer
- computer science - distributed, parallel, and cluster computing 1 Treffer
- computer science - emerging technologies 1 Treffer
- computer science and game theory (cs.gt) 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::programming languages 1 Treffer
- computer.software_genre 1 Treffer
- computingmilieux_personalcomputing 1 Treffer
- d.1.1 1 Treffer
- d.2.4 1 Treffer
- d.3.1 1 Treffer
- distributed, parallel, and cluster computing (cs.dc) 1 Treffer
- emerging technologies (cs.et) 1 Treffer
- f.3.1 1 Treffer
- f.4.1 1 Treffer
- formal specification 1 Treffer
- fos: physical sciences 1 Treffer
- interface (java) 1 Treffer
- java 1 Treffer
- key (cryptography) 1 Treffer
- language construct 1 Treffer
- model-based testing 1 Treffer
- monad (functional programming) 1 Treffer
- parallel computing 1 Treffer
- programming language 1 Treffer
- quantum 1 Treffer
- quantum computer 1 Treffer
- quantum physics 1 Treffer
- quantum physics (quant-ph) 1 Treffer
- relation (database) 1 Treffer
Sprache
5 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 277 (2018-09-07), S. 118-132Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 340 (2021-09-06), S. 291-302Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 284 (2018-11-27), S. 53-70Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 280 (2018-10-01), S. 47-60Online unknownZugriff: