Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 8 Treffer
- automata theory 7 Treffer
- embedded systems 7 Treffer
- software architecture 7 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 7 Treffer
-
45 weitere Werte:
- artificial intelligence 6 Treffer
- computer programming 6 Treffer
- formal languages 6 Treffer
- model checking 6 Treffer
- software design 6 Treffer
- distributed computer systems 5 Treffer
- mathematical theory of computation 5 Treffer
- semantics 5 Treffer
- software quality 5 Treffer
- thema editeur:u computing and information technology:uy computer science 5 Treffer
- computer programming / software engineering 4 Treffer
- computer science 4 Treffer
- parallel processing systems 4 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 4 Treffer
- thema editeur:u computing and information technology:uy computer science:uya mathematical theory of computation 4 Treffer
- theory of computation 4 Treffer
- algorithms & data structures 3 Treffer
- architecture verification and validation 3 Treffer
- computer engineering and networks 3 Treffer
- computer networking & communications 3 Treffer
- computer systems 3 Treffer
- computer systems organization and communication networks 3 Treffer
- distributed systems 3 Treffer
- formal methods 3 Treffer
- linguistics 3 Treffer
- natural language & machine translation 3 Treffer
- natural language processing (nlp) 3 Treffer
- program compilers 3 Treffer
- signal processing 3 Treffer
- computer architecture & logic design 2 Treffer
- computer networks 2 Treffer
- control structures and microprogramming 2 Treffer
- databases 2 Treffer
- formal languages and automata theory 2 Treffer
- logic programming 2 Treffer
- mathematical logic and formal languages 2 Treffer
- mathematics 2 Treffer
- model-checking 2 Treffer
- object-oriented programming 2 Treffer
- programming techniques 2 Treffer
- sat and smt solving 2 Treffer
- static and dynamic program analysis 2 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umx programming and scripting languages: general 2 Treffer
- thema editeur:u computing and information technology:uy computer science:uym computer modelling and simulation 2 Treffer
- verification 2 Treffer