Suchergebnisse
Bibliothekskatalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Sprache
Schlagwort
- Computers 3 Treffer
- Formale Methode 3 Treffer
- Programming languages (Electronic computers) 3 Treffer
- Programmverifikation 3 Treffer
- Computer logic 2 Treffer
-
28 weitere Werte:
- Computer system failures 2 Treffer
- Programmiersprache 2 Treffer
- Software Engineering 2 Treffer
- Software engineering 2 Treffer
- Spezialrechner 2 Treffer
- Architecture, Computer 1 Treffer
- Computer communication systems 1 Treffer
- Computer organization 1 Treffer
- Computer programming 1 Treffer
- Data mining 1 Treffer
- Database management 1 Treffer
- Informatik 1 Treffer
- Informationssystem 1 Treffer
- Konferenz 1 Treffer
- Machine learning 1 Treffer
- Mensch-Maschine-Kommunikation 1 Treffer
- Microprogramming 1 Treffer
- Natural language processing (Computer science) 1 Treffer
- Nebenläufigkeit 1 Treffer
- Optical data processing 1 Treffer
- Programmierlogik 1 Treffer
- Software 1 Treffer
- Softwarespezifikation 1 Treffer
- Softwaretest 1 Treffer
- Special purpose computers 1 Treffer
- Spezifikationssprache 1 Treffer
- Typsystem 1 Treffer
- Verifikation 1 Treffer
4 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. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online Sammelwerk, Elektronische Ressource
-
1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019Online Sammelwerk, Elektronische Ressource