Strona seminarium magisterskiego PROTOKOŁY KOMUNIKACYJNEProwadzący: dr hab. Sławomir Lasota, dr hab. Jerzy TyszkiewiczTermin: wtorki, 10:15, sala 5850 |
|
kiedy? |
co? |
kto? |
slajdy |
| 14 XI | Superkomputery i programowanie rówoległe | M.Grabowski | |
| 21 XI | DFL | M.Jałmużna | |
| 28 XI | Jak można wykorzystać SAT-solver? | B.Grzelewski | |
| 4 XI | Wspomnienia łacińskie | P.Kasprzyk | |
| 18 XI | Statyczna analiza protokołu OpenSSH | A.Firus | |
| 25 XI | O RSS | A.Bielański | |
| 2 XII | Kontrprzykład w model checking'u | P.Hofman | |
| 9 XII | ? | M.Grabowski | |
| 16 XII | Algorytmiczne rozpoznawanie gestów | K.Korolczuk | |
| cdn |