Strona seminarium magisterskiego PROTOKOŁY KOMUNIKACYJNEProwadzący: dr hab. Sławomir Lasota, dr hab. Jerzy TyszkiewiczTermin: wtorki, 10:15, sala 5850 |
|
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 | ? | J.Tyszkiewicz | |
| 16 XII | Algorytmiczne rozpoznawanie gestów | K.Korolczuk | |
| 6 I | ukladanie planu | ||
| 13 I | Porównanie statycznej i dynamicznej weryfikacji programów w Javie | P.Drajski |
kiedy? |
co? |
kto? |
slajdy |
| 17 II | Platforma webMethods | A.Pilawa | |
| 24 II | O pracy magisterskiej | K.Kowalczyk | |
| 26 III | Analiza statyczna programów w C | A.Firus | |
| 26 III | Wykorzystanie języka Erlang w ad-serwerach | P.Melon | |
| 26 III | Metody dyskretyzacji w eksploracji danych | M.Jałmużna | |
| 23 IV | Protokoly 802.11x | K.Korolczuk | |
| 23 IV | O pracy magisterskiej | P.Kasprzyk | |
| 28 V | Human computing | A.Pilawa | |
| 28 V | O pracy mgr | M.Grabowski | |
| 28 V | ? | A.Bielanski |