Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- formal logic 27 Treffer
- software architecture 27 Treffer
- software design 25 Treffer
- computer science 22 Treffer
- model checking 22 Treffer
-
45 weitere Werte:
- embedded systems 20 Treffer
- software quality 20 Treffer
- computer programming 19 Treffer
- computer systems 18 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 17 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 16 Treffer
- architecture verification and validation 14 Treffer
- formal languages 14 Treffer
- distributed computer systems 13 Treffer
- signal processing 13 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 13 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 12 Treffer
- network protocols 12 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 12 Treffer
- computer networks 11 Treffer
- automata theory 10 Treffer
- distributed systems 10 Treffer
- mathematical theory of computation 9 Treffer
- semantics 9 Treffer
- theory of computation 9 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 8 Treffer
- computer hardware 8 Treffer
- mathematics 8 Treffer
- thema editeur::u computing and information technology::um computer programming / software engineering::umz software engineering 8 Treffer
- thema editeur::u computing and information technology::uy computer science::uyq artificial intelligence 8 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 8 Treffer
- verification and validation 8 Treffer
- computer vision 7 Treffer
- linguistics 7 Treffer
- machine learning 7 Treffer
- programming languages 7 Treffer
- algorithms & data structures 6 Treffer
- bic book industry communication::u computing & information technology::uy computer science 6 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 6 Treffer
- computer networking & communications 6 Treffer
- computer security 6 Treffer
- engineering 6 Treffer
- formal methods 6 Treffer
- image processing 6 Treffer
- telecommunication systems 6 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 6 Treffer
- theoretical computer science 6 Treffer
- verification 6 Treffer
- architecting 5 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 5 Treffer
Verlag
Publikation
- communications of the acm 2 Treffer
- software business : 14th international conference, icsob 2023, lahti, finland, november 27-29, 2023, proceedings 2 Treffer
- agile processes in software engineering and extreme programming : 20th international conference, xp 2019, montreal, qc, canada, may 21-25, 2019, proceedings 1 Treffer
- automotiveit 1 Treffer
- csa news 1 Treffer
- 2 weitere Werte:
Sprache
Inhaltsanbieter
55 Treffer
-
2024Online E-BookZugriff:
-
In: CSA News, Jg. 68 (2023-06-01), Heft 6, S. 22-25Online serialPeriodicalZugriff:
-
In: Communications of the ACM, Jg. 61 (2018-11-01), Heft 11, S. 82-87serialPeriodicalZugriff:
-
In: AutomotiveIT, 2022-09-06, Heft 3, S. 22-22Online serialPeriodicalZugriff:
-
2023Online E-BookZugriff: