#txiotesia
106 parte hartzaileen txioak sailkatu ditugu.
informatika etiketa duten txiotesiak
Ikasle-erantzunen analisi automatikoa irakaskuntzaren domeinuan
Egilea: IƱigo Lopez-Gazpio @i_lopez_gazpio
Model Checking bidezko sistema fidagarrien berifikazio automatikoa
Egilea: Alex Abuin Yepes @lexlesaka