Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- artificial intelligence 7 Treffer
- formal logic 7 Treffer
- software engineering 7 Treffer
- architecture verification and validation 6 Treffer
- computer programming 6 Treffer
-
39 weitere Werte:
- model checking 6 Treffer
- programming languages 6 Treffer
- software architecture 5 Treffer
- software design 5 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 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::uyq artificial intelligence 4 Treffer
- distributed computer systems 4 Treffer
- distributed systems 4 Treffer
- embedded systems 4 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 3 Treffer
- computer systems 3 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umb algorithms and data structures 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:uyq artificial intelligence 3 Treffer
- architecture 2 Treffer
- modeling 2 Treffer
- theory of computation 2 Treffer
- automated reasoning 1 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 1 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 1 Treffer
- computer networks 1 Treffer
- description logics 1 Treffer
- design 1 Treffer
- formal languages 1 Treffer
- model-driven engineering 1 Treffer
- network protocols 1 Treffer
- ontologies 1 Treffer
- processes 1 Treffer
- requirements 1 Treffer
- semantics 1 Treffer
- thema editeur::u computing and information technology::uk computer hardware 1 Treffer
- thema editeur::u computing and information technology::ul operating systems 1 Treffer
- thema editeur::u computing and information technology::um computer programming / software engineering::umz software engineering 1 Treffer
- thema editeur::u computing and information technology::uy computer science::uya mathematical theory of computation 1 Treffer
- thema editeur::u computing and information technology::uy computer science::uyd systems analysis and design 1 Treffer
- thema editeur::u computing and information technology::uy computer science::uyq artificial intelligence::uyql natural language and machine translation 1 Treffer
- verification and validation 1 Treffer
Sprache
Inhaltsanbieter
3 Treffer
-
2023Online E-BookZugriff: