Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
en:education_courses [2014/10/01 14:13]
Juri Belikov
en:education_courses [2014/10/02 18:52] (current)
Juri Belikov
Line 2: Line 2:
  
 ^ Code  ^ Subject title  ^  Instructor ^ ^ Code  ^ Subject title  ^  Instructor ^
-| ISS0031 | Modelling and Identification |  [[en:people#​belikov | J. Belikov]] | +| ISS0031 | Modelling and Identification |  [[people#​belikov | J. Belikov]] | 
-| YMR0064 | Computer Algebra in Nonlinear Control Systems Theory |  [[en:people#​kotta | Ü. Kotta]] | +| YMR0064 | Computer Algebra in Nonlinear Control Systems Theory |  [[people#​kotta | Ü. Kotta]] | 
-| YMR0065 | Algebraic Methods in Nonlinear Control Systems Theory |  [[en:people#​kotta | Ü. Kotta]] | +| YMR0065 | Algebraic Methods in Nonlinear Control Systems Theory |  [[people#​kotta | Ü. Kotta]] | 
-| YFR0080 | Refresher Course in Physics |  [[en:people#​mullari | T. Mullari]] | +| YFR0080 | Refresher Course in Physics |  [[people#​mullari | T. Mullari]] | 
-| YFR0030 | Physics |  [[en:people#​mullari | T. Mullari]] | +| YFR0030 | Physics |  [[people#​mullari | T. Mullari]] | 
-| YFR0012 | Physics II |  [[en:people#​mullari | T. Mullari]] | +| YFR0012 | Physics II |  [[people#​mullari | T. Mullari]] | 
-| ITI0021 | Logic Programming |  [[en:people#vain |J. Vain]] | +| ITI0021 | Logic Programming |  [[people#​vain |J. Vain]] | 
-| ITI0130 | Formal Methods |  [[en:people#vain |J. Vain]] | +| ITI0130 | Formal Methods |  [[people#​vain |J. Vain]] | 
-| ITI0135 | Project on Formal Methods |  [[en:people#vain |J. Vain]] | +| ITI0135 | Project on Formal Methods |  [[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 |  [[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 |  [[people#​vain |J. Vain]] | 
-| ITI9191 | Special topics of Formal Methods |  [[en:people#vain |J. Vain]] | +| ITI9191 | Special topics of Formal Methods |  [[people#​vain |J. Vain]] | 
-| ITX003P | Practice |  [[en:people#vain |J. Vain]] | +| ITX003P | Practice |  [[people#​vain |J. Vain]] | 
-| ITX004P | Practice |  [[en:people#vain |J. Vain]] | +| ITX004P | Practice |  [[people#​vain |J. Vain]] | 
-| ITX8510 | Practical Training |  [[en:people#vain |J. Vain]] | +| ITX8510 | Practical Training |  [[people#​vain |J. Vain]] | 
-| ITX8511 | Practical Training in Information Technology |  [[en:people#vain |J. Vain]] | +| ITX8511 | Practical Training in Information Technology |  [[people#​vain |J. Vain]] | 
-| ITX8520 | Software Project |  [[en:people#vain |J. Vain]] | +| ITX8520 | Software Project |  [[people#​vain |J. Vain]] | 
-| IXX9601 | Doctoral Seminar I |  [[en:people#vain |J. Vain]] | +| IXX9601 | Doctoral Seminar I |  [[people#​vain |J. Vain]] | 
-| IXX9602 | Doctoral Seminar II |  [[en:people#vain |J. Vain]] | +| IXX9602 | Doctoral Seminar II |  [[people#​vain |J. Vain]] | 
-| IXX9603 | Doctoral Seminar III |  [[en:people#vain |J. Vain]] | +| IXX9603 | Doctoral Seminar III |  [[people#​vain |J. Vain]] | 
-| IXX9611 | Doctoral Teaching Practice I |  [[en:people#vain |J. Vain]] |+| IXX9611 | Doctoral Teaching Practice I |  [[people#​vain |J. Vain]] |

Page Tools