Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Thema: bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence
- Entferne Filter: Thema: artificial intelligence
- Entferne Filter: Verlag: springer
- Entferne Filter: Thema: automata theory
- Entferne Filter: Art der Quelle: eBooks
Weniger Treffer
Art der Quelle
Thema
- 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::umz software engineering 3 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 3 Treffer
- model checking 3 Treffer
- software design 3 Treffer
-
40 weitere Werte:
- architecture verification and validation 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uym computer modelling & simulation 2 Treffer
- computer engineering and networks 2 Treffer
- computer hardware 2 Treffer
- computer networking & communications 2 Treffer
- computer networks 2 Treffer
- computer programming 2 Treffer
- computer science 2 Treffer
- computer systems 2 Treffer
- computer systems organization and communication networks 2 Treffer
- distributed computer systems 2 Treffer
- linguistics 2 Treffer
- mathematical theory of computation 2 Treffer
- semantics 2 Treffer
- software quality 2 Treffer
- theory of computation 2 Treffer
- algorithms & data structures 1 Treffer
- bic book industry communication::u computing & information technology::uk computer hardware 1 Treffer
- computer modelling & simulation 1 Treffer
- control structures and microprogramming 1 Treffer
- correlation analysis 1 Treffer
- distributed systems 1 Treffer
- formal methods 1 Treffer
- information systems and communication service 1 Treffer
- logic in ai 1 Treffer
- logic programming 1 Treffer
- mathematics 1 Treffer
- network protocols 1 Treffer
- open access 1 Treffer
- programming languages 1 Treffer
- sat and smt solving 1 Treffer
- signal processing 1 Treffer
- simulation and modeling 1 Treffer
- software and hardware verification 1 Treffer
- specification and verification techniques 1 Treffer
- static and dynamic program analysis 1 Treffer
- theoretical computer science 1 Treffer
- verification and validation 1 Treffer
Sprache
Inhaltsanbieter
4 Treffer
-
2022Online E-BookZugriff:
-
2021Online E-BookZugriff:
-
2020Online E-BookZugriff: