Suchergebnisse
Bibliothekskatalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Sprache
Schlagwort
- Artificial intelligence 2 Treffer
- Computer science 2 Treffer
- Computer simulation 2 Treffer
- Formale Methode 2 Treffer
- Verifikation 2 Treffer
-
10 weitere Werte:
- Automatisches Beweisverfahren 1 Treffer
- Computer network architectures 1 Treffer
- Information Systems 1 Treffer
- Informationssystem 1 Treffer
- Management information systems 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Systemanalyse 1 Treffer
- Systementwicklung 1 Treffer
- Systementwurf 1 Treffer
- Testen 1 Treffer
3 Treffer
-
1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online 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