Sortiert nach
Advances in Intelligent Systems and Computing : 968
1st ed. 2020, 2020
Volltextzugriff (PDF)
Advances in Intelligent Systems and Computing : 955
1st ed. 2020, 2020
Volltextzugriff (PDF)
SpringerBriefs in Applied Sciences and Technology
2013
Volltextzugriff (PDF)
Human–Computer Interaction Series
1st ed. 2019, 2019
Volltextzugriff (PDF)
Advances in Intelligent Systems and Computing : 972
1st ed. 2020, 2020
Volltextzugriff (PDF)
Lecture Notes in Mechanical Engineering
1st ed. 2020, 2020
Volltextzugriff (PDF)
Advances in Intelligent Systems and Computing : 974
1st ed. 2020, 2020
Volltextzugriff (PDF)
X.media.publishing
2010
Volltextzugriff (PDF)
2017
Volltextzugriff (PDF)
Advances in Intelligent Systems and Computing : 971
1st ed. 2020, 2020
Volltextzugriff (PDF)
2014
Volltextzugriff (PDF)
Monographs in Computer Science
2005
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Bühler, Peter
- Schlaich, Patrick
- Sinner, Dominik
- Voronkov, Andrei
- Rozenberg, Grzegorz
- Bonsangue, Marcello M
- Steffen, Bernhard
- Bernardo, Marco
- Boer, Frank S
- Graf, Susanne
- Barthe, Gilles
- Ehrig, Hartmut
- Liu, Zhiming
- Margaria, Tiziana
- Moreno-Díaz, Roberto
- Pichler, Franz
- Rossi, Francesca
- Krzhizhanovskaya, Valeria V
- Potapov, Igor
- Woodcock, Jim
Erscheinungsform
Schlagwort
- Logic design
- Software engineering
- Artificial intelligence
- Computer Communication Networks
- Computer software
- Formale Methode
- Softwareentwicklung
- Computational complexity
- Operating systems (Computers)
- Computer aided design
- Information Systems
- Model Checking
- Theoretische Informatik
- Computer simulation
- Information systems
- Online-Ressource
- Programmverifikation
- Programmierung
- Verifikation
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts