Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- computer science 38 Treffer
- formal logic 13 Treffer
- software engineering 13 Treffer
- artificial intelligence 11 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 11 Treffer
-
45 weitere Werte:
- semantics 9 Treffer
- verification 8 Treffer
- embedded systems 7 Treffer
- model checking 7 Treffer
- program compilers 7 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umb algorithms and data structures 7 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 7 Treffer
- computer systems 6 Treffer
- formal methods 6 Treffer
- mathematical theory of computation 6 Treffer
- programming languages 6 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 6 Treffer
- architecture verification and validation 5 Treffer
- big data 5 Treffer
- computer software selection and evaluation 5 Treffer
- databases 5 Treffer
- distributed computer systems 5 Treffer
- formal languages 5 Treffer
- signal processing 5 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 5 Treffer
- automata theory 4 Treffer
- computer networks 4 Treffer
- formal languages and automata theory 4 Treffer
- internet 4 Treffer
- machine learning 4 Treffer
- open access 4 Treffer
- separation logic 4 Treffer
- software architecture 4 Treffer
- theory of computation 4 Treffer
- algorithms & data structures 3 Treffer
- applications 3 Treffer
- cloud computing 3 Treffer
- computer architecture 3 Treffer
- computer systems organization and communication networks 3 Treffer
- conference proceedings 3 Treffer
- formal specification 3 Treffer
- informatics 3 Treffer
- linguistics 3 Treffer
- mathematics 3 Treffer
- numerical methods 3 Treffer
- object-oriented programming 3 Treffer
- parallel processing systems 3 Treffer
- program analysis 3 Treffer
- programming language 3 Treffer
- programming techniques 3 Treffer