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