Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- artificial intelligence 3 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 3 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 3 Treffer
- categorical models and logics 3 Treffer
- concurrency theory and process calculi 3 Treffer
-
45 weitere Werte:
- language theory, automata, and games 3 Treffer
- logics of programming 3 Treffer
- modal, spatial, and temporal logics 3 Treffer
- models of software security 3 Treffer
- rewriting theory 3 Treffer
- type theory and proof theory 3 Treffer
- algorithms & data structures 2 Treffer
- architecture verification and validation 2 Treffer
- automata theory 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science 2 Treffer
- computational linguistics 2 Treffer
- data structures and information theory 2 Treffer
- database management 2 Treffer
- database programming 2 Treffer
- databases 2 Treffer
- embedded systems 2 Treffer
- formal languages 2 Treffer
- formal languages and automata theory 2 Treffer
- formal methods 2 Treffer
- information theory 2 Treffer
- mathematical logic and formal languages 2 Treffer
- model checking 2 Treffer
- model-driven software engineering 2 Treffer
- object-oriented programming 2 Treffer
- open access 2 Treffer
- operating systems 2 Treffer
- parallel processing systems 2 Treffer
- program analysis 2 Treffer
- program compilers 2 Treffer
- semantics 2 Treffer
- signal processing 2 Treffer
- software architecture 2 Treffer
- software engineering 2 Treffer
- software engineering/programming and operating systems 2 Treffer
- software performance 2 Treffer
- telecommunication systems 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
- verification 2 Treffer
- bic book industry communication::p mathematics & science::pb mathematics::pbc mathematical foundations 1 Treffer
- bic book industry communication::p mathematics & science::pb mathematics::pbd discrete mathematics 1 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umx programming & scripting languages: general 1 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 1 Treffer
- bic book industry communication::u computing & information technology::un databases 1 Treffer