Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 10. märts 2022, kell 07:50 erin ajal 0 U Fail:ITI8531 Lecture 6 22 TA and TCTL.pdf praegune
- 10. märts 2022, kell 07:50 erin ajal 0 Software Synthesis and Verification →Lecture plan - To be updated for Module II and III
- 2. märts 2022, kell 19:36 erin ajal 0 U Fail:ITI8531 Lecture 6 21 TA and TCTL.pdf praegune
- 2. märts 2022, kell 19:36 erin ajal +80 Software Synthesis and Verification →Lecture plan - To be updated for Module II and III
- 2. märts 2022, kell 18:50 erin ajal 0 U Fail:ITI8531 Lecture 5 22 symb modelchecking.pdf praegune
- 2. märts 2022, kell 18:49 erin ajal -8 Software Synthesis and Verification →Lecture plan - To be updated for Module II and III
- 10. veebruar 2022, kell 12:52 erin ajal +113 Software Synthesis and Verification →Time and place
- 10. veebruar 2022, kell 12:49 erin ajal 0 U Fail:ITI8531 Lecture 3 2022 CTL.pdf praegune
- 10. veebruar 2022, kell 12:49 erin ajal +2 Software Synthesis and Verification →Lecture plan - To be updated for Module II and III
- 2. veebruar 2022, kell 18:55 erin ajal 0 U Fail:ITI8531 Lecture 2 2022 transition systems.pdf praegune
- 2. veebruar 2022, kell 18:55 erin ajal +2 Software Synthesis and Verification →Lecture plan - To be updated for Module II and III
- 26. jaanuar 2022, kell 09:24 erin ajal 0 Software Synthesis and Verification →Time and place
- 26. jaanuar 2022, kell 09:14 erin ajal +8 Software Synthesis and Verification
- 26. jaanuar 2022, kell 09:11 erin ajal -3 Software Synthesis and Verification →Time and place
- 22. november 2021, kell 17:46 erin ajal 0 U Fail:ITI0211 Harjutus Testiks 2.pdf praegune
- 22. november 2021, kell 17:46 erin ajal -19 Loogiline programmeerimine →Loengute slaidid praegune
- 21. november 2021, kell 18:14 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 21. november 2021, kell 18:14 erin ajal +1 Loogiline programmeerimine →Loengute slaidid
- 21. november 2021, kell 18:13 erin ajal +21 Loogiline programmeerimine →Loengute slaidid
- 21. november 2021, kell 18:12 erin ajal +8 Loogiline programmeerimine →Loengute slaidid
- 21. november 2021, kell 18:11 erin ajal +201 Loogiline programmeerimine →Loengute slaidid
- 21. november 2021, kell 18:08 erin ajal 0 U Fail:ITI0211 Loeng 10a 2021search.pdf praegune
- 21. november 2021, kell 18:08 erin ajal +1 Loogiline programmeerimine →Loengute slaidid
- 16. november 2021, kell 09:15 erin ajal 0 U Fail:ITI0211 Loeng 10 2021search.pdf praegune
- 16. november 2021, kell 09:14 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 9. november 2021, kell 07:55 erin ajal 0 U Fail:ITI0211 Loeng 9 2021CLP.pdf praegune
- 9. november 2021, kell 07:54 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 26. oktoober 2021, kell 06:35 erin ajal 0 U Fail:ITI0211 Loeng 7 2021 algebra prg .pdf praegune
- 26. oktoober 2021, kell 06:34 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 19. oktoober 2021, kell 06:55 erin ajal 0 U Fail:ITI0211 Loeng 6 2021.pdf praegune
- 19. oktoober 2021, kell 06:54 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 12. oktoober 2021, kell 06:59 erin ajal +10 Loogiline programmeerimine →Loengute slaidid
- 27. september 2021, kell 17:06 erin ajal 0 U Fail:ITI0021 Loeng 5 2021.pdf praegune
- 27. september 2021, kell 17:05 erin ajal -1 Loogiline programmeerimine →Loengute slaidid
- 20. september 2021, kell 12:58 erin ajal 0 U Fail:ITI0211 Loeng 4 2021 LP.pdf praegune
- 20. september 2021, kell 12:57 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 14. september 2021, kell 06:39 erin ajal 0 U Fail:ITI0211 Loeng 3 2021 List operations.pdf praegune
- 14. september 2021, kell 06:39 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 7. september 2021, kell 06:21 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 7. september 2021, kell 06:18 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 7. september 2021, kell 06:16 erin ajal -3 Loogiline programmeerimine →Kodutöö 2019
- 7. september 2021, kell 06:13 erin ajal +1 Loogiline programmeerimine →Loengute slaidid
- 7. september 2021, kell 06:13 erin ajal 0 U Fail:ITI0021 Loeng 2 2021.pdf praegune
- 7. september 2021, kell 06:12 erin ajal -8 Loogiline programmeerimine →Loengute slaidid
- 2. september 2021, kell 08:42 erin ajal 0 Loogiline programmeerimine →Loengute slaidid
- 24. november 2020, kell 14:56 erin ajal -15 Loogiline programmeerimine (2020) →Loengute slaidid
- 24. november 2020, kell 14:55 erin ajal +1 Loogiline programmeerimine (2020) →Loengute slaidid
- 24. november 2020, kell 14:54 erin ajal 0 U Fail:ITI0021 Loogiline programmeerimine Harjutus 2.pdf praegune
- 24. november 2020, kell 14:53 erin ajal +8 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:51 erin ajal 0 U Fail:ITI0021 Loeng 10 2020search.pdf praegune
- 10. november 2020, kell 19:50 erin ajal 0 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:48 erin ajal +7 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:47 erin ajal +4 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:46 erin ajal +34 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:42 erin ajal +39 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:40 erin ajal +12 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:39 erin ajal 0 U Fail:ITI0211 Loeng 9 2020CLP.pdf praegune
- 10. november 2020, kell 19:39 erin ajal +2 Loogiline programmeerimine (2020) →Loengute slaidid
- 3. november 2020, kell 12:36 erin ajal 0 U Fail:ITI0211 Loeng 8 2020 DCG.pdf praegune
- 3. november 2020, kell 12:36 erin ajal +4 Loogiline programmeerimine (2020) →Loengute slaidid
- 27. oktoober 2020, kell 13:29 erin ajal 0 U Fail:ITI0211 Loeng 7 2020 algebra prg .pdf praegune
- 27. oktoober 2020, kell 13:29 erin ajal +12 Loogiline programmeerimine (2020) →Loengute slaidid
- 25. oktoober 2020, kell 17:57 erin ajal +51 Esileht →Magistrantidele suunatud kursused
- 20. oktoober 2020, kell 16:57 erin ajal +13 Loogiline programmeerimine (2020) →Loengute slaidid
- 20. oktoober 2020, kell 16:56 erin ajal 0 U Fail:ITI0211 Loeng 6 2020.pdf praegune
- 20. oktoober 2020, kell 16:56 erin ajal -9 Loogiline programmeerimine (2020) →Loengute slaidid
- 20. oktoober 2020, kell 16:55 erin ajal -27 Loogiline programmeerimine (2020) →Loengute slaidid
- 13. oktoober 2020, kell 07:28 erin ajal 0 U Fail:ITI0211 Loogiline programmeerimine Harjutus 1.pdf praegune
- 13. oktoober 2020, kell 07:28 erin ajal +11 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 07:44 erin ajal 0 U Fail:ITI0211 Loeng 3 2020 List operations.pdf praegune
- 15. september 2020, kell 07:43 erin ajal +16 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 06:18 erin ajal 0 U Fail:ITI0021 Loeng 2 2020 Prolog.pdf praegune
- 15. september 2020, kell 06:18 erin ajal +8 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 06:16 erin ajal -9 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 06:16 erin ajal -19 Loogiline programmeerimine (2020) →Loengud
- 15. september 2020, kell 06:15 erin ajal +8 Loogiline programmeerimine (2020) →Loengud
- 15. september 2020, kell 06:14 erin ajal 0 U Fail:ITI0021 Loeng 3 2020.pdf praegune
- 15. september 2020, kell 06:13 erin ajal 0 Loogiline programmeerimine (2020) →Loengud
- 2. september 2020, kell 09:44 erin ajal 0 U Fail:ITI0211 Loeng 1 2020.pdf praegune
- 2. september 2020, kell 09:43 erin ajal -1 Loogiline programmeerimine (2020) →Loengud
- 2. september 2020, kell 09:40 erin ajal 0 Loogiline programmeerimine (2020) →Sügis 2020
- 31. august 2020, kell 08:32 erin ajal -1 Loogiline programmeerimine (2020) →Sügis 2020
- 31. august 2020, kell 08:32 erin ajal +14 Loogiline programmeerimine (2020) →Sügis 2020
- 31. august 2020, kell 08:29 erin ajal 0 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:27 erin ajal +15 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:23 erin ajal +102 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:20 erin ajal 0 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:18 erin ajal +2 Loogiline programmeerimine (2020) →Sügis 2019
- 7. jaanuar 2020, kell 15:26 erin ajal 0 Loogiline programmeerimine (2020) →Kodutöö 2018
- 12. detsember 2019, kell 13:56 erin ajal +57 ITI8610 →Module II: : Assured Software Analytics praegune
- 12. detsember 2019, kell 13:53 erin ajal 0 U Fail:HomeAssignmnet of Module II.pdf praegune
- 12. detsember 2019, kell 13:53 erin ajal +9 ITI8610 →Module II
- 28. november 2019, kell 08:10 erin ajal +10 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 08:08 erin ajal +25 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:59 erin ajal +17 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:58 erin ajal +16 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:57 erin ajal +67 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:53 erin ajal +22 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:52 erin ajal +29 ITI8610 →Module II: : Assured Software Analytics
- 20. november 2019, kell 15:34 erin ajal +2 ITI8610 →Module II: : Assured Software Analytics