Suchergebnisse
Bibliothekskatalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Form
Literaturtyp
Sprache
Schlagwort
- Artificial intelligence 3 Treffer
- Computer logic 2 Treffer
- Formale Methode 2 Treffer
- Software engineering 2 Treffer
- Application software 1 Treffer
-
16 weitere Werte:
- Compilers (Computer programs) 1 Treffer
- Computer organization 1 Treffer
- Computer programming 1 Treffer
- Logic 1 Treffer
- Microprogramming 1 Treffer
- Nebenläufigkeit 1 Treffer
- Programmanalyse 1 Treffer
- Programmiersprache 1 Treffer
- Programmverifikation 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Softwareentwicklung 1 Treffer
- Special purpose computers 1 Treffer
- Systemanalyse 1 Treffer
- Systementwurf 1 Treffer
- Typsystem 1 Treffer
- Verifikation 1 Treffer
5 Treffer
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Sammelwerk, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online 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
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Sammelwerk, Elektronische Ressource