Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- artificial intelligence 45 Treffer
- formal logic 42 Treffer
- computer science 36 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 34 Treffer
- software architecture 33 Treffer
-
45 weitere Werte:
- software design 33 Treffer
- model checking 29 Treffer
- embedded systems 27 Treffer
- computer programming 24 Treffer
- computer systems 24 Treffer
- software quality 24 Treffer
- semantics 23 Treffer
- open access 22 Treffer
- distributed computer systems 20 Treffer
- programming languages 19 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 19 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 18 Treffer
- thema editeur::u computing and information technology::um computer programming / software engineering::umz software engineering 18 Treffer
- verification 17 Treffer
- architecture verification and validation 16 Treffer
- automata theory 16 Treffer
- formal languages 16 Treffer
- formal methods 16 Treffer
- program compilers 16 Treffer
- signal processing 16 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 15 Treffer
- mathematical theory of computation 15 Treffer
- network protocols 15 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 14 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 14 Treffer
- computer networks 13 Treffer
- distributed systems 13 Treffer
- linguistics 13 Treffer
- operating systems 13 Treffer
- special purpose and application-based systems 13 Treffer
- thema editeur::u computing and information technology::uy computer science 13 Treffer
- thema editeur:u computing and information technology:uy computer science 13 Treffer
- mathematics 12 Treffer
- parallel processing systems 12 Treffer
- software engineering/programming and operating systems 12 Treffer
- theory of computation 12 Treffer
- verification and validation 12 Treffer
- computer networking & communications 11 Treffer
- expert systems / knowledge-based systems 11 Treffer
- algorithms & data structures 10 Treffer
- bic book industry communication::u computing & information technology::uy computer science 10 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 10 Treffer
- computer programming / software engineering 10 Treffer
- computer systems organization and communication networks 10 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 10 Treffer