Suchergebnisse
Bibliothekskatalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Sprache
Schlagwort
- Artificial intelligence 4 Treffer
- Software engineering 3 Treffer
- Softwareentwicklung 3 Treffer
- Verifikation 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
-
18 weitere Werte:
- Computer organization 2 Treffer
- Computer science 2 Treffer
- Information theory 2 Treffer
- Systementwicklung 2 Treffer
- Testen 2 Treffer
- Anwendungssoftware 1 Treffer
- Application software 1 Treffer
- Computer logic 1 Treffer
- Computer network architectures 1 Treffer
- Computers 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Logische Programmierung 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Programmverifikation 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Systemanalyse 1 Treffer
- Systementwurf 1 Treffer
4 Treffer
-
Cham: Springer International Publishing, Imprint: Springer, 2019Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online Sammelwerk, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Konferenzschrift, Sammelwerk, Elektronische Ressource