Otsingu tulemused

Mine navigeerimisribale Mine otsikasti

  • Formal methods in model-based testing and verification
    '''Contact''': prof. Jüri Vain (juri.vain ätt ttu.ee, ICT-418) ** Jüri Vain[[Media:baltic_db_is_2014_post_proc.pdf| "Provably correct test generation f
    6 KB (760 sõna) - 26. mai 2015, kell 07:54
  • Loogiline programmeerimine (2014)
    '''Õppejõud''': prof. Jüri Vain<br> '''Kontakt''': juri.vain ätt ttu.ee, ICT-418, Vastuvõtu aeg: kolmapäeval kl. 16:00 - 17:00 eelnev
    7 KB (797 sõna) - 3. september 2015, kell 10:14
  • MSc seminar I 2019 Spring
    * Jüri Vain
    2 KB (327 sõna) - 16. veebruar 2019, kell 16:23
  • Loogiline programmeerimine (2015)
    '''Õppejõud''': prof. Jüri Vain<br> '''Kontakt''': juri.vain ätt ttu.ee, ICT-418, Vastuvõtu aeg: esmaspäeval kl. 16:00 - 17:00 eelnev
    12 KB (1416 sõna) - 1. november 2020, kell 21:01
  • ITI8610
    '''Lecturer''': prof. Jüri Vain <br> '''Contact''': juri.vain ätt ttu.ee, ICT-418 <br>
    6 KB (801 sõna) - 12. detsember 2019, kell 13:56
  • Software Synthesis and Verification
    '''Lecturer''': prof. Jüri Vain <br> '''Contact''': juri.vain ätt ttu.ee, ICT-418 <br>
    10 KB (1257 sõna) - 9. veebruar 2023, kell 09:58
  • Loogiline programmeerimine (2017)
    '''Õppejõud''': prof. Jüri Vain<br> '''Kontakt''': juri.vain ätt ttu.ee, ICT-418, Vastuvõtu aeg: esmaspäeval kl. 16:00 - 17:00 eelnev
    14 KB (1708 sõna) - 3. september 2018, kell 07:31
  • Loogiline programmeerimine (2018)
    '''Õppejõud''': prof. Jüri Vain<br> '''Kontakt''': juri.vain ätt ttu.ee, ICT-418, Vastuvõtu aeg: TBA eelneval kokkuleppel e-maili kaud
    16 KB (2010 sõna) - 1. september 2019, kell 13:36
  • Loogiline programmeerimine (2020)
    '''Õppejõud''': prof. Jüri Vain<br> '''Kontakt''': juri.vain ätt ttu.ee, ICT-418, Vastuvõtu aeg: TBA eelneval kokkuleppel e-maili kaud
    18 KB (2164 sõna) - 31. august 2021, kell 05:12
  • Loogiline programmeerimine
    '''Õppejõud''': prof. Jüri Vain<br> '''Kontakt''': juri.vain ätt ttu.ee, ICT-418, Vastuvõtu aeg: TBA eelneval kokkuleppel e-maili kaud
    18 KB (2208 sõna) - 22. november 2021, kell 17:46
  • Advanced programming - 2015
    ...:00, ICT-401'''. ''1st lab on September 2'', you are greeted by prof. Jüri Vain
    9 KB (1585 sõna) - 5. september 2016, kell 09:19
  • Defended thesis cyber
    ...ik Till, ICT Risk Assessment of Smart Electricity Meters. Supervisor: Jüri Vain; Kristjan Kuhi
    15 KB (2114 sõna) - 18. veebruar 2019, kell 12:57
Pärit leheküljelt "http://courses.cs.taltech.ee/pages/Eri:Otsimine"