Znaleziono 4 projektów spełniających kryteria wyszukiwania:
Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Konkurs: OPUS 28 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Konkurs: PRELUDIUM BIS 3 , panel: ST1
Kierownik: prof. Włodzimierz Robert Zwonek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Własność rozszerzania a metody geometrycznej teorii funkcji
Konkurs: PRELUDIUM BIS 2 , panel: ST1
Kierownik: dr hab. Łukasz Kosiński
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki