Wyszukiwarka projektów

• Słowa kluczowe: Data nets ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 6 projektów spełniających kryteria wyszukiwania:

1. 1. Algebraiczne niezmienniki dla Sieci Petriego z danymi.

   Kierownik: dr Piotr Hofman

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: SONATA 11, panel: ST6

2. 2. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

   Kierownik: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski

   Konkurs: OPUS 28, panel: ST6

3. 3. Rozwijanie Teorii Sieci Petriego: Głębsze zrozumienie Klasycznych Problemów i Ich Zastosowania w Procesach Przepływów Ro…

   Kierownik: dr Piotr Hofman

   Uniwersytet Warszawski

   Konkurs: OPUS 27, panel: ST6

4. 4. Modele obliczeń rozszerzone o dane

   Kierownik: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 18, panel: ST6

5. 5. Algebra liniowa w wymiarze skończenie-orbitowym

   Kierownik: Arka Ghosh

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: PRELUDIUM 21, panel: ST6

6. 6. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

   Kierownik: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 11, panel: ST6