Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer software 6 Treffer
- compilers (computer programs) 5 Treffer
- computer programming 5 Treffer
- computer security 5 Treffer
- mathematics 5 Treffer
-
45 weitere Werte:
- proof theory 5 Treffer
- software verification 5 Treffer
- systems software 5 Treffer
- algorithms 4 Treffer
- c (computer program language) 4 Treffer
- computer multitasking 4 Treffer
- computer network resources 4 Treffer
- computer software testing 4 Treffer
- distributed computing 4 Treffer
- homotopy theory 4 Treffer
- kernel operating systems 4 Treffer
- mathematical research 4 Treffer
- mathematics theorems 4 Treffer
- powerpc microprocessors 4 Treffer
- software frameworks 4 Treffer
- software validation 4 Treffer
- source code 4 Treffer
- technical specifications 4 Treffer
- type theory 4 Treffer
- computer software correctness 3 Treffer
- debugging 3 Treffer
- electronic data processing 3 Treffer
- assembly languages (electronic computers) 2 Treffer
- computer programmers 2 Treffer
- embedded computer systems -- programming 2 Treffer
- programming languages 2 Treffer
- application software 1 Treffer
- applied sciences 1 Treffer
- artificial intelligence 1 Treffer
- artificial languages 1 Treffer
- assembler 1 Treffer
- automatic proving 1 Treffer
- c language 1 Treffer
- compilador 1 Treffer
- compilateur 1 Treffer
- compiler 1 Treffer
- computer science 1 Treffer
- computer science; control theory; systems 1 Treffer
- computer software development 1 Treffer
- computer systems 1 Treffer
- demonstration automatique 1 Treffer
- demostracion automatica 1 Treffer
- electronic systems 1 Treffer
- exact sciences and technology 1 Treffer
- fonctions logiques, booleennes et de commutation 1 Treffer
Sprache
6 Treffer
-
In: Communications of the ACM, Jg. 62 (2019-10-01), Heft 10, S. 89-99Online serialPeriodicalZugriff:
-
In: Communications of the ACM, Jg. 59 (2016-02-01), Heft 2, S. 52-55Online serialPeriodicalZugriff:
-
In: Communications of the ACM, Jg. 53 (2010-12-01), Heft 12, S. 56-66Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009-07-01), Heft 7, S. 107-115Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014-02-01), Heft 2, S. 13-15Online serialPeriodicalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009-07-01), Heft 7, S. 106-106Online academicJournalZugriff: