Suchergebnisse
Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Software engineering 5 Treffer
- Formale Methode 3 Treffer
- Programmverifikation 3 Treffer
- Software Engineering 3 Treffer
- Artificial intelligence 2 Treffer
-
27 weitere Werte:
- Beweis 2 Treffer
- Computer science 2 Treffer
- Evolutionärer Algorithmus 2 Treffer
- Model Checking 2 Treffer
- Optimierungsproblem 2 Treffer
- Programming languages (Electronic computers) 2 Treffer
- Softwareentwicklung 2 Treffer
- Softwaremetrie 2 Treffer
- Softwaresystem 2 Treffer
- Special purpose computers 2 Treffer
- Algorithms 1 Treffer
- Application software 1 Treffer
- Architecture, Computer 1 Treffer
- Computer communication systems 1 Treffer
- Computer logic 1 Treffer
- Computer science—Mathematics 1 Treffer
- Computer software 1 Treffer
- Computer system failures 1 Treffer
- Computer system performance 1 Treffer
- Computers 1 Treffer
- Logic design 1 Treffer
- Microprogramming 1 Treffer
- Programmanalyse 1 Treffer
- Softwarespezifikation 1 Treffer
- Spezialrechner 1 Treffer
- Spezifikationssprache 1 Treffer
- Verifikation 1 Treffer
Sprache
5 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
-
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