Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Modele obliczeń rozszerzone o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 18, panel: ST6
-
2. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Konkurs: OPUS 28, panel: ST6
-
3. Zastosowania teorii Lemperta
Kierownik: prof. Włodzimierz Robert Zwonek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM BIS 3, panel: ST1