Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- artificial intelligence 4 Treffer
- bic book industry communication::u computing & information technology::uy computer science 4 Treffer
- computer networking & communications 4 Treffer
- computer systems organization and communication networks 4 Treffer
- embedded systems 4 Treffer
-
45 weitere Werte:
- linguistics 4 Treffer
- model checking 4 Treffer
- semantics 4 Treffer
- software architecture 4 Treffer
- software engineering 4 Treffer
- algorithms & data structures 3 Treffer
- architecture verification and validation 3 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 3 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 3 Treffer
- computer engineering and networks 3 Treffer
- computer networks 3 Treffer
- control structures and microprogramming 3 Treffer
- information systems and communication service 3 Treffer
- mathematics 3 Treffer
- natural language & machine translation 3 Treffer
- natural language processing (nlp) 3 Treffer
- open access 3 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 2 Treffer
- categorical models and logics 2 Treffer
- computational linguistics 2 Treffer
- computer programming / software engineering 2 Treffer
- concurrency theory and process calculi 2 Treffer
- database management 2 Treffer
- database programming 2 Treffer
- databases 2 Treffer
- distributed computer systems 2 Treffer
- formal languages and automata theory 2 Treffer
- language theory, automata, and games 2 Treffer
- logic in ai 2 Treffer
- logics of programming 2 Treffer
- mathematical logic and formal languages 2 Treffer
- modal, spatial, and temporal logics 2 Treffer
- models of software security 2 Treffer
- programming techniques 2 Treffer
- rewriting theory 2 Treffer
- sat and smt solving 2 Treffer
- signal processing 2 Treffer
- software and hardware verification 2 Treffer
- software design 2 Treffer
- software quality 2 Treffer
- specification and verification techniques 2 Treffer
- static and dynamic program analysis 2 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 2 Treffer
- thema editeur:u computing and information technology:uy computer science 2 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 2 Treffer
Sprache
Inhaltsanbieter
4 Treffer
-
2020Online E-BookZugriff:
-
2020Online E-BookZugriff: