Suchergebnisse
Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Software engineering 8 Treffer
- Formale Methode 6 Treffer
- Artificial intelligence 5 Treffer
- Verifikation 4 Treffer
- Computer science 3 Treffer
-
32 weitere Werte:
- Computer simulation 3 Treffer
- Computers 3 Treffer
- Programming languages (Electronic computers) 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Beweis 2 Treffer
- Computer system failures 2 Treffer
- Information theory 2 Treffer
- Model Checking 2 Treffer
- Natural language processing (Computer science) 2 Treffer
- Programmverifikation 2 Treffer
- Sicherheitskritisches System 2 Treffer
- Softwaresystem 2 Treffer
- Softwaretest 2 Treffer
- Special purpose computers 2 Treffer
- Systemanalyse 2 Treffer
- Systementwicklung 2 Treffer
- Systementwurf 2 Treffer
- Testen 2 Treffer
- Application software 1 Treffer
- Architecture, Computer 1 Treffer
- Computer logic 1 Treffer
- Computer network architectures 1 Treffer
- Computer organization 1 Treffer
- Computer science—Mathematics 1 Treffer
- Computer system performance 1 Treffer
- Leistungssteigerung 1 Treffer
- Logic design 1 Treffer
- Mathematical logic 1 Treffer
- Mathematische Methode 1 Treffer
- Prozessmanagement 1 Treffer
- Qualitätsmanagement 1 Treffer
- Softwaremetrie 1 Treffer
Sprache
8 Treffer
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Cham: Springer International Publishing, Imprint: Springer, 2019Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online Sammelwerk, Elektronische Ressource
-
1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online Sammelwerk, Elektronische Ressource
-
1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online Sammelwerk, Elektronische Ressource