Doorgaan naar hoofdnavigatie
Doorgaan naar zoeken
Ga verder naar hoofdinhoud
Onderzoeksportaal Eindhoven University of Technology Startpagina
Help en veelgestelde vragen
English
Nederlands
Startpagina
Onderzoekers
Onderzoeksoutput
Organisatie
Activiteiten
Projecten
Prijzen
Pers/Media
Faciliteiten
Datasets
Cursussen
Onderzoeksgebieden
Afstudeerscripties
Zoeken op expertise, naam of affiliatie
Model checking using multiple GPUs
Y. Qi
Mathematics and Computer Science
Scriptie/Masterproef
:
Master
Datum prijs
17 dec. 2018
Originele taal
Engels
Begeleider
Anton J. Wijs
(Afstudeerdocent 1)
Citeer dit
Standard
Model checking using multiple GPUs
Qi, Y. (Auteur).
17 dec. 2018
Scriptie/Masterproef
:
Master
Documenten
Yuyang-thesis-07-11-2018
Bestand
:
application/pdf, 518 KB
Type
:
Scriptie