Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- model checking 7 Treffer
- artificial intelligence 6 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 6 Treffer
- formal logic 6 Treffer
- software design 6 Treffer
-
45 weitere Werte:
- distributed computer systems 5 Treffer
- mathematical theory of computation 5 Treffer
- open access 5 Treffer
- algorithms & data structures 4 Treffer
- architecture verification and validation 4 Treffer
- automata theory 4 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 4 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 4 Treffer
- computer networking & communications 4 Treffer
- computer programming 4 Treffer
- computer science 4 Treffer
- computer systems 4 Treffer
- software quality 4 Treffer
- theory of computation 4 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 3 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uym computer modelling & simulation 3 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence::uyqe expert systems / knowledge-based systems 3 Treffer
- computer engineering and networks 3 Treffer
- computer systems organization and communication networks 3 Treffer
- control structures and microprogramming 3 Treffer
- expert systems / knowledge-based systems 3 Treffer
- formal methods 3 Treffer
- linguistics 3 Treffer
- mathematics 3 Treffer
- parallel processing systems 3 Treffer
- signal processing 3 Treffer
- special purpose and application-based systems 3 Treffer
- verification and validation 3 Treffer
- architecting 2 Treffer
- bic book industry communication::u computing & information technology::uk computer hardware 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
- computer hardware 2 Treffer
- computer system implementation 2 Treffer
- distributed systems 2 Treffer
- formal languages 2 Treffer
- information systems and communication service 2 Treffer
- operating systems 2 Treffer
- requirements engineering 2 Treffer
- sat and smt solving 2 Treffer
- software engineering/programming and operating systems 2 Treffer
- static and dynamic program analysis 2 Treffer
- systems analysis & design 2 Treffer
- testing 2 Treffer
Sprache
Inhaltsanbieter
9 Treffer
-
2021Online E-BookZugriff:
-
2021Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2020Online E-BookZugriff: