konsultacje

środy, godz. 10:15 - 11:45, pokój 5730

zajęcia

Niezawodność systemów współbieżnych i obiektowych (seminarium magisterskie)

Weryfikacja wspomagana komputerowo (wykład monograficzny, semestr letni)

Języki, automaty i obliczenia (ćwiczenia, 2 rok, semestr letni)

prace magisterskie

propozycje tematów 2010

propozycje tematów 2009

propozycje tematów 2008

lista prac magisterskich w APD