Suchergebnisse
Bibliothekskatalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Sprache
Schlagwort
- Software engineering 3 Treffer
- Computers 2 Treffer
- Programmverifikation 2 Treffer
- Softwareentwicklung 2 Treffer
- Softwaretest 2 Treffer
-
17 weitere Werte:
- Verifikation 2 Treffer
- Architecture, Computer 1 Treffer
- Artificial intelligence 1 Treffer
- Beweis 1 Treffer
- Computer logic 1 Treffer
- Computer system failures 1 Treffer
- Model Checking 1 Treffer
- Natural language processing (Computer science) 1 Treffer
- Programmanalyse 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Software Engineering 1 Treffer
- Softwarespezifikation 1 Treffer
- Softwaresystem 1 Treffer
- Spezialrechner 1 Treffer
- Spezifikationssprache 1 Treffer
- Systemanalyse 1 Treffer
- Systementwurf 1 Treffer
3 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