Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- artificial intelligence 8 Treffer
- formal logic 6 Treffer
- model checking 5 Treffer
- software quality 5 Treffer
- architecture verification and validation 4 Treffer
-
45 weitere Werte:
- 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::uy computer science::uyq artificial intelligence 4 Treffer
- computer programming 4 Treffer
- distributed systems 4 Treffer
- programming languages 4 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 3 Treffer
- computer systems 3 Treffer
- software architecture 3 Treffer
- software design 3 Treffer
- architecture 2 Treffer
- automated reasoning 2 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 2 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 2 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 2 Treffer
- distributed computer systems 2 Treffer
- embedded systems 2 Treffer
- formal languages 2 Treffer
- modeling 2 Treffer
- thema editeur::u computing and information technology::um computer programming / software engineering::umz software engineering 2 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umb algorithms and data structures 2 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 2 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 2 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 2 Treffer
- theory of computation 2 Treffer
- ai ethics 1 Treffer
- automata theory 1 Treffer
- boolean functions 1 Treffer
- case study 1 Treffer
- computer algebra 1 Treffer
- computer networks 1 Treffer
- cost estimation 1 Treffer
- description logics 1 Treffer
- design 1 Treffer
- empirical 1 Treffer
- ethical requirements 1 Treffer
- ethics 1 Treffer
- features 1 Treffer
- industry collaboration 1 Treffer
- large-scale agile 1 Treffer
- logic programming 1 Treffer
- machine learning 1 Treffer
- model-driven engineering 1 Treffer
- network protocols 1 Treffer
- neural networks 1 Treffer
- onboarding 1 Treffer
Publikation
- software business : 14th international conference, icsob 2023, lahti, finland, november 27-29, 2023, proceedings 3 Treffer
- agile processes in software engineering and extreme programming : 24th international conference on agile software development, xp 2023, amsterdam, the netherlands, june 13-16, 2023, proceedings 1 Treffer
- fundamental approaches to software engineering : 26th international conference, fase 2023, held as part of the european joint conferences on theory and practice of software, etaps 2023, paris, france, april 22-27, 2023, proceedings 1 Treffer
Sprache
Inhaltsanbieter
10 Treffer
-
2024Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff: