Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- automata theory 2 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 2 Treffer
- linguistics 2 Treffer
- mathematical theory of computation 2 Treffer
-
26 weitere Werte:
- mathematics of computing 2 Treffer
- maths for computer scientists 2 Treffer
- model checking 2 Treffer
- sat and smt solving 2 Treffer
- software and hardware verification 2 Treffer
- specification and verification techniques 2 Treffer
- static and dynamic program analysis 2 Treffer
- system construction and transformation techniques 2 Treffer
- theorem proving 2 Treffer
- artificial intelligence 1 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 1 Treffer
- bic book industry communication::u computing & information technology::uy computer science 1 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 1 Treffer
- computer networking & communications 1 Treffer
- computer programming 1 Treffer
- computer science 1 Treffer
- computer systems 1 Treffer
- information systems and communication service 1 Treffer
- model-based design 1 Treffer
- operating systems 1 Treffer
- requirements engineering 1 Treffer
- security 1 Treffer
- software architectures 1 Treffer
- software engineering/programming and operating systems 1 Treffer
- software evolution 1 Treffer
- theory of computation 1 Treffer