Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- embedded systems 11 Treffer
- formal logic 11 Treffer
- software architecture 11 Treffer
- software engineering 11 Treffer
- formal languages 9 Treffer
-
45 weitere Werte:
- mathematical theory of computation 9 Treffer
- model checking 9 Treffer
- computer science 8 Treffer
- theory of computation 8 Treffer
- artificial intelligence 7 Treffer
- software design 7 Treffer
- algorithms & data structures 6 Treffer
- control structures and microprogramming 6 Treffer
- mathematics 6 Treffer
- sat and smt solving 6 Treffer
- static and dynamic program analysis 6 Treffer
- architecture verification and validation 5 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 5 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 5 Treffer
- bic book industry communication::u computing & information technology::uy computer science 5 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 5 Treffer
- computer engineering and networks 5 Treffer
- computer networking & communications 5 Treffer
- computer systems 5 Treffer
- computer systems organization and communication networks 5 Treffer
- distributed computer systems 5 Treffer
- linguistics 5 Treffer
- open access 5 Treffer
- semantics 5 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 5 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 4 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 4 Treffer
- computer networks 4 Treffer
- computer programming 4 Treffer
- software and hardware verification 4 Treffer
- specification and verification techniques 4 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 4 Treffer
- computer hardware 3 Treffer
- software quality 3 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 3 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 3 Treffer
- thema editeur:u computing and information technology:uy computer science 3 Treffer
- verification and validation 3 Treffer
- architecting 2 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyd systems analysis & design 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uym computer modelling & simulation 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence::uyqe expert systems / knowledge-based systems 2 Treffer
- categorical models and logics 2 Treffer
- computational linguistics 2 Treffer
Sprache
Inhaltsanbieter
6 Treffer
-
2020Online E-BookZugriff: