Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 17, panel: ST6
-
2. Efekty algebraiczne: kompozycja i koindukcja
Kierownik: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 14, panel: ST6
-
3. Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej
Kierownik: dr hab. Paweł Tomasz Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Konkurs: HARMONIA 3, panel: ST6