Vereniging van Gereformeerde Studenten in Twente

sinds 1983

VGST

Activiteiten

/ Afstudeercolloquium meneer de nestor

Afstudeercolloquium meneer de nestor

Datum tot
LocatieUT, Cubicus B209

Afstudeercolloquium van Gijs Kant, getiteld Distributed Model Checking using State Vectors for Graphs up to Isomorphism. Datum: donderdag 26 augustus 2010, 14:00 uur. Locatie: UT, Cubicus B209 Mee...

Afstudeercolloquium van Gijs Kant, getiteld Distributed Model Checking using State Vectors for Graphs up to Isomorphism.

Datum: donderdag 26 augustus 2010, 14:00 uur.
Locatie: UT, Cubicus B209

Meer informatie: http://www.cs.utwente.nl/~kant.

X