Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 1. september 2015, kell 06:53 erin ajal -32 Courses
- 1. september 2015, kell 06:52 erin ajal +66 Courses
- 1. september 2015, kell 06:49 erin ajal +33 Courses
- 31. august 2015, kell 10:02 erin ajal -6 ITI8610 →Lecture plan
- 31. august 2015, kell 10:00 erin ajal 0 Fail:ITI 8610 lecture 1.pdf Vain laadis üles faili "Pilt:ITI 8610 lecture 1.pdf" uue versiooni praegune
- 31. august 2015, kell 09:52 erin ajal 0 U Fail:ITI 8610 lecture 1 intro.pdf praegune
- 31. august 2015, kell 09:52 erin ajal +16 ITI8610
- 31. august 2015, kell 09:48 erin ajal 0 ITI8610
- 31. august 2015, kell 08:54 erin ajal +1 ITI8610 →Labs
- 31. august 2015, kell 08:54 erin ajal +104 ITI8610
- 31. august 2015, kell 08:31 erin ajal +53 ITI8610 →Lecture plan
- 31. august 2015, kell 08:28 erin ajal +15 ITI8610
- 31. august 2015, kell 08:23 erin ajal 0 ITI8610 →Time and place
- 31. august 2015, kell 08:22 erin ajal -85 ITI8610
- 31. august 2015, kell 08:20 erin ajal -2 ITI8610
- 31. august 2015, kell 08:20 erin ajal +11 ITI8610 →Lecture plan
- 31. august 2015, kell 08:13 erin ajal 0 U Fail:ITI 8610 lecture 1.pdf
- 31. august 2015, kell 08:13 erin ajal -5 ITI8610
- 31. august 2015, kell 08:08 erin ajal +2 ITI8610
- 31. august 2015, kell 08:08 erin ajal +199 ITI8610
- 31. august 2015, kell 07:57 erin ajal +524 U ITI8610 Uus lehekülg: ''''Course code''': ITI8610 <br> '''Lecturer''': prof. Jüri Vain <br> '''Contact''': juri.vain ätt ttu.ee, ICT-418 <br> ==Time and place== Lectures: Mondays 14:00, ICT-A1 <b...'
- 31. august 2015, kell 07:48 erin ajal +67 Esileht →Magistrantidele suunatud kursused
- 26. mai 2015, kell 07:54 erin ajal +86 Formal methods in model-based testing and verification →Spring 2015 praegune
- 26. mai 2015, kell 07:52 erin ajal +3 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:51 erin ajal +198 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:34 erin ajal +22 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:32 erin ajal +6 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:31 erin ajal +363 Formal methods in model-based testing and verification →Spring 2015
- 14. mai 2015, kell 08:48 erin ajal 0 Fail:Exercises 3.pdf Vain laadis üles faili "Pilt:Exercises 3.pdf" uue versiooni praegune
- 14. mai 2015, kell 08:42 erin ajal +1 Software Synthesis and Verification →Exercises
- 13. mai 2015, kell 13:51 erin ajal 0 U Fail:Exercises 3.pdf
- 13. mai 2015, kell 13:49 erin ajal +104 Software Synthesis and Verification →Exercises
- 6. mai 2015, kell 09:06 erin ajal +102 Software Synthesis and Verification →News 2015
- 6. mai 2015, kell 09:03 erin ajal -1 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 09:01 erin ajal +76 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 09:00 erin ajal 0 U Fail:ITI0130 lecture 12 2015.pdf praegune
- 6. mai 2015, kell 08:59 erin ajal +2 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 08:53 erin ajal +91 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 08:52 erin ajal 0 U Fail:ITI0130 lecture 13 2015.pdf praegune
- 6. mai 2015, kell 08:51 erin ajal +90 Software Synthesis and Verification →Lecture notes
- 5. mai 2015, kell 10:52 erin ajal +10 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:51 erin ajal +4 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:51 erin ajal +45 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:48 erin ajal +45 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:47 erin ajal -14 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:45 erin ajal +93 Formal methods in model-based testing and verification →Spring 2015
- 22. aprill 2015, kell 14:26 erin ajal 0 U Fail:ITI0130 lecture11 2015nondeterministic.pdf praegune
- 22. aprill 2015, kell 14:26 erin ajal +94 Software Synthesis and Verification →Lecture notes
- 8. aprill 2015, kell 08:57 erin ajal +6 Software Synthesis and Verification →Lecture notes
- 8. aprill 2015, kell 08:56 erin ajal 0 U Fail:ITI0130 lecture10 2015.pdf praegune