Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Pehkonen, Jere', hakuaika: 0,01s Tarkenna hakua
  1. 1
    Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla

    Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla Tekijä Pehkonen, Jere

    Julkaistu 2021
    Hae kokoteksti Hae kokoteksti
    Pro gradu
  2. 2
    Elektronisen urheilun suosion kasvu

    Elektronisen urheilun suosion kasvu Tekijä Pehkonen, Jere

    Julkaistu 2018
    Hae kokoteksti Hae kokoteksti
    Kandityö
Työkalut: RSS-syöte