Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 9. veebruar 2023, kell 09:58 erin ajal 0 Software Synthesis and Verification →Labs - To be updated from lab 4 onwards praegune
- 12. november 2021, kell 11:54 erin ajal +34 Loogiline programmeerimine →Loengute slaidid
- 7. september 2021, kell 06:36 erin ajal -4 Loogiline programmeerimine →Praktikumid
- 7. september 2021, kell 06:36 erin ajal +5 Loogiline programmeerimine →Praktikumid
- 7. september 2021, kell 06:34 erin ajal -7 Loogiline programmeerimine →Praktikumid
- 7. september 2021, kell 06:33 erin ajal +52 Loogiline programmeerimine →Praktikumid
- 7. september 2021, kell 06:32 erin ajal -1 Loogiline programmeerimine →Praktikumid
- 7. september 2021, kell 06:31 erin ajal +97 Loogiline programmeerimine →Praktikumid
- 31. august 2021, kell 05:18 erin ajal 0 U Fail:ITI0211 Loeng 1 2021.pdf praegune
- 31. august 2021, kell 05:18 erin ajal 0 Loogiline programmeerimine
- 31. august 2021, kell 05:17 erin ajal +2 Loogiline programmeerimine
- 31. august 2021, kell 05:14 erin ajal +18 277 Loogiline programmeerimine
- 31. august 2021, kell 05:12 erin ajal +44 U Loogiline programmeerimine Evelin teisaldas lehekülje Loogiline programmeerimine pealkirja Loogiline programmeerimine (2020) alla
- 31. august 2021, kell 05:12 erin ajal 0 P Loogiline programmeerimine (2020) Evelin teisaldas lehekülje Loogiline programmeerimine pealkirja Loogiline programmeerimine (2020) alla praegune
- 12. veebruar 2021, kell 05:19 erin ajal +1 Software Synthesis and Verification
- 1. november 2020, kell 21:01 erin ajal -2 Loogiline programmeerimine (2015) praegune
- 11. november 2019, kell 13:48 erin ajal +9 Loogiline programmeerimine (2020) →Praktikumid
- 11. november 2019, kell 13:46 erin ajal +278 Loogiline programmeerimine (2020) →Praktikumid
- 4. november 2019, kell 14:03 erin ajal 0 Loogiline programmeerimine (2020) →Praktikumid
- 4. november 2019, kell 14:02 erin ajal 0 U Fail:ITI0211 Praktikum PR09 juhend 2019.pdf praegune
- 4. november 2019, kell 14:02 erin ajal -7 Loogiline programmeerimine (2020) →Praktikumid
- 4. november 2019, kell 14:01 erin ajal +116 Loogiline programmeerimine (2020) →Praktikumid
- 28. oktoober 2019, kell 13:48 erin ajal 0 U Fail:ITI0211 Praktikum PR08 juhend 2019.pdf praegune
- 28. oktoober 2019, kell 13:46 erin ajal +121 Loogiline programmeerimine (2020) →Praktikumid
- 14. oktoober 2019, kell 12:59 erin ajal 0 U Fail:ITI0211 Praktikum PR06 juhend 2019.pdf praegune
- 14. oktoober 2019, kell 12:59 erin ajal +115 Loogiline programmeerimine (2020) →Praktikumid
- 7. oktoober 2019, kell 12:29 erin ajal 0 U Fail:ITI0211 Praktikum PR05 juhend 2019.pdf praegune
- 7. oktoober 2019, kell 12:28 erin ajal +116 Loogiline programmeerimine (2020) →Praktikumid
- 30. september 2019, kell 12:44 erin ajal 0 U Fail:ITI0211 Praktikum PR04 juhend 2019.pdf praegune
- 30. september 2019, kell 12:44 erin ajal +114 Loogiline programmeerimine (2020) →Praktikumid
- 23. september 2019, kell 12:16 erin ajal 0 U Fail:ITI0211 Praktikum PR03 juhend 2019.pdf praegune
- 23. september 2019, kell 12:15 erin ajal +104 Loogiline programmeerimine (2020) →Praktikumid
- 16. september 2019, kell 12:43 erin ajal 0 U Fail:ITI0211 Praktikum PR02 juhend 2019.pdf praegune
- 16. september 2019, kell 12:42 erin ajal 0 Loogiline programmeerimine (2020) →Praktikumid
- 10. september 2019, kell 13:23 erin ajal +98 Loogiline programmeerimine (2020) →Loengud
- 10. september 2019, kell 13:17 erin ajal +67 Loogiline programmeerimine (2020) →Loengud
- 10. september 2019, kell 12:59 erin ajal +152 Loogiline programmeerimine (2020)
- 9. september 2019, kell 13:07 erin ajal 0 Loogiline programmeerimine (2020)
- 9. september 2019, kell 13:00 erin ajal -2 Loogiline programmeerimine (2020)
- 2. september 2019, kell 12:25 erin ajal -35 Loogiline programmeerimine (2020) →Praktikumid
- 2. september 2019, kell 12:19 erin ajal +16 Loogiline programmeerimine (2020) →Praktikumid
- 2. september 2019, kell 10:38 erin ajal 0 Loogiline programmeerimine (2020) →Praktikumid
- 1. september 2019, kell 14:00 erin ajal +9 Loogiline programmeerimine (2020) →Sügis 2019
- 1. september 2019, kell 13:55 erin ajal +4 Loogiline programmeerimine (2020) →Sügis 2019
- 1. september 2019, kell 13:51 erin ajal -220 Loogiline programmeerimine (2020)
- 1. september 2019, kell 13:43 erin ajal +76 Loogiline programmeerimine (2020)
- 1. september 2019, kell 13:41 erin ajal 0 Loogiline programmeerimine (2020)
- 1. september 2019, kell 13:39 erin ajal +16 801 Loogiline programmeerimine (2020)
- 1. september 2019, kell 13:37 erin ajal -7 Loogiline programmeerimine (2020) Ümbersuunamine lehele Loogiline programmeerimine
- 1. september 2019, kell 13:36 erin ajal +44 U Loogiline programmeerimine (2020) Evelin teisaldas lehekülje Loogiline programmeerimine pealkirja Loogiline programmeerimine (2018) alla
- 1. september 2019, kell 13:36 erin ajal 0 P Loogiline programmeerimine (2018) Evelin teisaldas lehekülje Loogiline programmeerimine pealkirja Loogiline programmeerimine (2018) alla praegune
- 2. mai 2019, kell 07:06 erin ajal 0 U Fail:ITI8531 LTL assignments.pdf praegune
- 2. mai 2019, kell 07:05 erin ajal +65 Software Synthesis and Verification
- 25. aprill 2019, kell 06:59 erin ajal 0 U Fail:ITI8531 LTL exercises.pdf praegune
- 25. aprill 2019, kell 06:58 erin ajal +160 Software Synthesis and Verification
- 18. aprill 2019, kell 06:59 erin ajal +61 Software Synthesis and Verification →Labs
- 28. veebruar 2019, kell 07:43 erin ajal 0 Fail:ITI0130 Lab3 IEEE1394.pdf Evelin laadis üles faili "Pilt:ITI0130 Lab3 IEEE1394.pdf" uue versiooni praegune
- 28. veebruar 2019, kell 07:31 erin ajal +596 Software Synthesis and Verification
- 14. november 2018, kell 10:37 erin ajal +7 Loogiline programmeerimine (2018)
- 6. november 2018, kell 07:51 erin ajal +5 Loogiline programmeerimine (2018) →Praktikumid
- 30. oktoober 2018, kell 09:09 erin ajal 0 Fail:ITI0021 Praktikum PR09 juhend 2018.pdf Evelin laadis üles faili "Pilt:ITI0021 Praktikum PR09 juhend 2018.pdf" uue versiooni praegune
- 30. oktoober 2018, kell 08:56 erin ajal 0 Fail:ITI0021 Praktikum PR09 juhend 2018.pdf Evelin laadis üles faili "Pilt:ITI0021 Praktikum PR09 juhend 2018.pdf" uue versiooni
- 30. oktoober 2018, kell 07:51 erin ajal 0 U Fail:ITI0021 Praktikum PR09 juhend 2018.pdf
- 30. oktoober 2018, kell 07:38 erin ajal +150 Loogiline programmeerimine (2018)
- 30. oktoober 2018, kell 07:32 erin ajal +1 Loogiline programmeerimine (2018) →Loengud
- 30. oktoober 2018, kell 07:31 erin ajal +242 Loogiline programmeerimine (2018)
- 24. oktoober 2018, kell 05:21 erin ajal 0 Fail:ITI0021 praktikumi PR08 juhend 2018.pdf Evelin laadis üles faili "Pilt:ITI0021 praktikumi PR08 juhend 2018.pdf" uue versiooni praegune
- 23. oktoober 2018, kell 06:58 erin ajal 0 U Fail:ITI0021 praktikumi PR08 juhend 2018.pdf
- 23. oktoober 2018, kell 06:58 erin ajal +130 Loogiline programmeerimine (2018) →Praktikumid
- 16. oktoober 2018, kell 07:13 erin ajal 0 U Fail:ITI0021 praktikumi PR07 juhend 2018.pdf praegune
- 16. oktoober 2018, kell 07:13 erin ajal +132 Loogiline programmeerimine (2018) →Praktikumid
- 9. oktoober 2018, kell 07:50 erin ajal 0 U Fail:ITI0021 Praktikum PR06 juhend 2018.pdf praegune
- 9. oktoober 2018, kell 07:50 erin ajal 0 Loogiline programmeerimine (2018) →Praktikumid
- 9. oktoober 2018, kell 07:06 erin ajal 0 Loogiline programmeerimine (2018) →Praktikumid
- 9. oktoober 2018, kell 07:03 erin ajal +124 Loogiline programmeerimine (2018) →Praktikumid
- 2. oktoober 2018, kell 06:52 erin ajal 0 U Fail:ITI0021 Praktikum PR05 juhend 2018.pdf praegune
- 2. oktoober 2018, kell 06:52 erin ajal -5 Loogiline programmeerimine (2018) →Praktikumid
- 2. oktoober 2018, kell 06:51 erin ajal +23 Loogiline programmeerimine (2018) →Praktikumid
- 25. september 2018, kell 07:07 erin ajal 0 U Fail:ITI0021 Praktikum PR04 juhend 2018.pdf praegune
- 25. september 2018, kell 07:07 erin ajal +1 Loogiline programmeerimine (2018) →Praktikumid
- 18. september 2018, kell 06:33 erin ajal 0 Fail:ITI0021 Praktikum PR03 juhend 2018.pdf Evelin laadis üles faili "Pilt:ITI0021 Praktikum PR03 juhend 2018.pdf" uue versiooni praegune
- 17. september 2018, kell 08:21 erin ajal 0 U Fail:ITI0021 Praktikum PR03 juhend 2018.pdf
- 17. september 2018, kell 08:21 erin ajal +1 Loogiline programmeerimine (2018) →Praktikumid
- 3. september 2018, kell 08:26 erin ajal +151 Loogiline programmeerimine (2018) →Lisamaterjalid
- 3. september 2018, kell 07:52 erin ajal +12 Loogiline programmeerimine (2018) →Praktikumid
- 3. september 2018, kell 07:51 erin ajal 0 Loogiline programmeerimine (2018) →Kodutöö 2017
- 3. september 2018, kell 07:50 erin ajal +7 Loogiline programmeerimine (2018) →Praktikumid
- 3. september 2018, kell 07:49 erin ajal +29 Loogiline programmeerimine (2018) →Praktikumid
- 3. september 2018, kell 07:47 erin ajal -1 Loogiline programmeerimine (2018) →Praktikumid
- 3. september 2018, kell 07:47 erin ajal +12 Loogiline programmeerimine (2018) →Praktikumid
- 3. september 2018, kell 07:45 erin ajal +9 Loogiline programmeerimine (2018) →Loengud
- 3. september 2018, kell 07:45 erin ajal +9 Loogiline programmeerimine (2018) →Loengud
- 3. september 2018, kell 07:43 erin ajal -14 Loogiline programmeerimine (2018) →Hindamiskriteeriumid
- 3. september 2018, kell 07:42 erin ajal 0 Loogiline programmeerimine (2018)
- 3. september 2018, kell 07:41 erin ajal +12 Loogiline programmeerimine (2018)
- 3. september 2018, kell 07:35 erin ajal -27 Loogiline programmeerimine (2018)
- 3. september 2018, kell 07:34 erin ajal +14 184 Loogiline programmeerimine (2018)
- 3. september 2018, kell 07:31 erin ajal +44 U Loogiline programmeerimine (2018) Evelin teisaldas lehekülje Loogiline programmeerimine pealkirja Loogiline programmeerimine (2017) alla
- 3. september 2018, kell 07:31 erin ajal 0 P Loogiline programmeerimine (2017) Evelin teisaldas lehekülje Loogiline programmeerimine pealkirja Loogiline programmeerimine (2017) alla praegune
- 15. jaanuar 2018, kell 09:33 erin ajal +10 Loogiline programmeerimine (2017)