Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- software engineering 11 Treffer
- formal logic 10 Treffer
- embedded systems 9 Treffer
- model checking 9 Treffer
- open access 9 Treffer
-
45 weitere Werte:
- software architecture 9 Treffer
- software design 9 Treffer
- artificial intelligence 8 Treffer
- computer networking & communications 8 Treffer
- computer science 8 Treffer
- computer systems organization and communication networks 8 Treffer
- mathematics 8 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 7 Treffer
- distributed computer systems 7 Treffer
- mathematical theory of computation 7 Treffer
- semantics 7 Treffer
- software quality 7 Treffer
- architecture verification and validation 6 Treffer
- bic book industry communication::u computing & information technology::uy computer science 6 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 6 Treffer
- computer engineering and networks 6 Treffer
- computer programming 6 Treffer
- formal languages 6 Treffer
- theory of computation 6 Treffer
- algorithms & data structures 5 Treffer
- automata theory 5 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 5 Treffer
- control structures and microprogramming 5 Treffer
- verification and validation 5 Treffer
- architecting 4 Treffer
- compilers & interpreters 4 Treffer
- computer networks 4 Treffer
- computer systems 4 Treffer
- information systems and communication service 4 Treffer
- parallel processing systems 4 Treffer
- programming & scripting languages: general 4 Treffer
- programming languages, compilers, interpreters 4 Treffer
- psycholinguistics and cognitive lingusitics 4 Treffer
- sat and smt solving 4 Treffer
- software and hardware verification 4 Treffer
- specification and verification techniques 4 Treffer
- static and dynamic program analysis 4 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 3 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 3 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umx programming & scripting languages: general 3 Treffer
- computer programming / software engineering 3 Treffer
- logic in ai 3 Treffer
- maths for computer scientists 3 Treffer
- natural language & machine translation 3 Treffer
- natural language processing (nlp) 3 Treffer
Sprache
Inhaltsanbieter
10 Treffer
-
2020Online E-BookZugriff:
-
2020Online E-BookZugriff: