Sortiert nach
1st ed. 2011, 2011
Volltextzugriff (PDF)
1st ed. 2020, 2020
Volltextzugriff (PDF)
Serie di architettura e design
2022
Volltextzugriff (PDF)
Lecture Notes in Mechanical Engineering
1st ed. 2019, 2019
Volltextzugriff (PDF)
2005
Volltextzugriff (PDF)
Smart Innovation, Systems and Technologies : 130
2019
Volltextzugriff (PDF)
1st ed
Volltextzugriff (PDF)
Conference series: formal methods in computer-aided design, volume 4
2023
Volltextzugriff (PDF)
SpringerBriefs in Computer Science
2012
Volltextzugriff (PDF)
1st ed. 2018, 2018
Volltextzugriff (PDF)
Springer Series in Adaptive Environments
1st ed. 2018, 2018
Volltextzugriff (PDF)
Theoretical Computer Science and General Issues : 11202
2018
Volltextzugriff (PDF)
Human–Computer Interaction Series
1st ed. 2019, 2019
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Voronkov, Andrei
- Pichler, Franz
- Moreno-Díaz, Roberto
- Krzhizhanovskaya, Valeria V
- Rossi, Francesca
- von Cieminski, Gregor
- Carbonell, Jaime G
- Dastani, Mehdi
- Dix, Jürgen
- Kiritsis, Dimitris
- Baldoni, Matteo
- Dongarra, Jack J
- Lees, Michael H
- Leite, João
- Long, Shengzhao
- Quesada-Arencibia, Alexis
- Cardoso, Pedro J. S
- Dhillon, Balbir S
- Fages, François
- Lam, Roberto
Erscheinungsform
Schlagwort
- Logic design
- Computer science
- Software engineering
- Computer Communication Networks
- Logische Programmierung
- Computer software
- Information systems
- Artificial Intelligence
- Computer aided design
- Automatisches Beweisverfahren
- Mehragentensystem
- Engineering design
- Computational complexity
- Computer simulation
- Computer vision
- Formale Methode
- Information storage and retrieval systems
- Algebra
- Programmierlogik
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts