Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
en:education_courses [2014/10/01 14:12] Juri Belikov |
en:education_courses [2014/10/01 14:13] Juri Belikov |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ^ Code ^ Subject title ^ Instructor ^ | ^ Code ^ Subject title ^ Instructor ^ | ||
| | ISS0031 | Modelling and Identification | [[en:people#belikov | J. Belikov]] | | | ISS0031 | Modelling and Identification | [[en:people#belikov | J. Belikov]] | | ||
| - | | YMR0064 | Computer Algebra in Nonlinear Control Systems Theory | [[en:people#kotta | Ü. Kotta]] | | + | | YMR0064 | Computer Algebra in Nonlinear Control Systems Theory | [[en:people#kotta | Ü. Kotta]] | |
| - | | YMR0065 | Algebraic Methods in Nonlinear Control Systems Theory | [[en:people#kotta | Ü. Kotta]] | | + | | YMR0065 | Algebraic Methods in Nonlinear Control Systems Theory | [[en:people#kotta | Ü. Kotta]] | |
| - | | YFR0080 | Refresher Course in Physics | [[en:people#mullari | T. Mullari]] | | + | | YFR0080 | Refresher Course in Physics | [[en:people#mullari | T. Mullari]] | |
| - | | YFR0030 | Physics | [[en:people#mullari | T. Mullari]] | | + | | YFR0030 | Physics | [[en:people#mullari | T. Mullari]] | |
| - | | YFR0012 | Physics II | [[en:people#mullari | T. Mullari]] | | + | | YFR0012 | Physics II | [[en:people#mullari | T. Mullari]] | |
| - | | ITI0021 | Logic Programming | [[en:people#vain |J. Vain]] | | + | | ITI0021 | Logic Programming | [[en:people#vain |J. Vain]] | |
| - | | ITI0130 | Formal Methods | [[en:people#vain |J. Vain]] | | + | | ITI0130 | Formal Methods | [[en:people#vain |J. Vain]] | |
| - | | ITI0135 | Project on Formal Methods | [[en:people#vain |J. Vain]] | | + | | ITI0135 | Project on Formal Methods | [[en:people#vain |J. Vain]] | |
| - | | ITI8530 | Formal Methods in Embedded Real-Time Systems Development | [[en:people#vain |J. Vain]] | | + | | ITI8530 | Formal Methods in Embedded Real-Time Systems Development | [[en:people#vain |J. Vain]] | |
| - | | ITI8540 | System reliability and fault-tolerance | [[en:people#vain |J. Vain]] | | + | | ITI8540 | System reliability and fault-tolerance | [[en:people#vain |J. Vain]] | |
| - | | ITI9111 | Model-Based Testing and Validation of Real-Time Systems | [[en:people#vain |J. Vain]] | | + | | ITI9111 | Model-Based Testing and Validation of Real-Time Systems | [[en:people#vain |J. Vain]] | |
| - | | ITI9191 | Special topics of Formal Methods | [[en:people#vain |J. Vain]] | | + | | ITI9191 | Special topics of Formal Methods | [[en:people#vain |J. Vain]] | |
| - | | ITX003P | Practice | [[en:people#vain |J. Vain]] | | + | | ITX003P | Practice | [[en:people#vain |J. Vain]] | |
| - | | ITX004P | Practice | [[en:people#vain |J. Vain]] | | + | | ITX004P | Practice | [[en:people#vain |J. Vain]] | |
| - | | ITX8510 | Practical Training | [[en:people#vain |J. Vain]] | | + | | ITX8510 | Practical Training | [[en:people#vain |J. Vain]] | |
| - | | ITX8511 | Practical Training in Information Technology | [[en:people#vain |J. Vain]] | | + | | ITX8511 | Practical Training in Information Technology | [[en:people#vain |J. Vain]] | |
| - | | ITX8520 | Software Project | [[en:people#vain |J. Vain]] | | + | | ITX8520 | Software Project | [[en:people#vain |J. Vain]] | |
| - | | IXX9601 | Doctoral Seminar I | [[en:people#vain |J. Vain]] | | + | | IXX9601 | Doctoral Seminar I | [[en:people#vain |J. Vain]] | |
| - | | IXX9602 | Doctoral Seminar II | [[en:people#vain |J. Vain]] | | + | | IXX9602 | Doctoral Seminar II | [[en:people#vain |J. Vain]] | |
| - | | IXX9603 | Doctoral Seminar III | [[en:people#vain |J. Vain]] | | + | | IXX9603 | Doctoral Seminar III | [[en:people#vain |J. Vain]] | |
| - | | IXX9611 | Doctoral Teaching Practice I | [[en:people#vain |J. Vain]] | | + | | IXX9611 | Doctoral Teaching Practice I | [[en:people#vain |J. Vain]] | |