Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- software engineering 43 Treffer
- artificial intelligence 34 Treffer
- model checking 31 Treffer
- semantics 27 Treffer
- software architecture 26 Treffer
-
45 weitere Werte:
- embedded systems 25 Treffer
- computer programming 24 Treffer
- software design 24 Treffer
- software quality 24 Treffer
- distributed computer systems 23 Treffer
- formal languages 20 Treffer
- programming languages 20 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 19 Treffer
- computer science 19 Treffer
- architecture verification and validation 18 Treffer
- program compilers 18 Treffer
- verification 17 Treffer
- automata theory 16 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 16 Treffer
- computer systems 15 Treffer
- formal methods 15 Treffer
- mathematical theory of computation 15 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 14 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 14 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 13 Treffer
- theory of computation 13 Treffer
- distributed systems 12 Treffer
- linguistics 12 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 12 Treffer
- thema editeur:u computing and information technology:uy computer science 12 Treffer
- computer software selection and evaluation 11 Treffer
- bic book industry communication::u computing & information technology::uy computer science 10 Treffer
- computer networking & communications 10 Treffer
- computer systems organization and communication networks 10 Treffer
- mathematics 10 Treffer
- parallel processing systems 10 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 10 Treffer
- verification and validation 10 Treffer
- computer programming / software engineering 9 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 9 Treffer
- computer engineering and networks 8 Treffer
- databases 8 Treffer
- separation logic 8 Treffer
- algorithms & data structures 7 Treffer
- computer networks 7 Treffer
- natural language & machine translation 7 Treffer
- natural language processing (nlp) 7 Treffer
- signal processing 7 Treffer
- specifications 7 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 6 Treffer
Verlag
Sprache
Inhaltsanbieter
52 Treffer
-
2018Online E-Book
-
2018Online E-Book
-
2018Online E-Book
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2018Online E-Book
-
2018Online E-Book
-
2018Online E-Book