Projects search

• Keywords: zbiory rozszerzeń ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Data-enriched models of computation

   Principal investigator: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 18, Panel: ST6

2. 2. Formal verification in data-enriched models of computation

   Principal investigator: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski

   Call: OPUS 28, Panel: ST6

3. 3. Applications of the Lempert theory

   Principal investigator: prof. Włodzimierz Robert Zwonek

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: PRELUDIUM BIS 3, Panel: ST1