Znaleziono 4 projektów spełniających kryteria wyszukiwania:
O kwantowych zasobach w kwantowej teorii informacji.
Konkurs: PRELUDIUM 4 , panel: ST2
Kierownik: Michał Studziński
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Granice automatycznej analizy systemów współbieżnych
Konkurs: OPUS 21 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatyczna analiza systemów współbieżnych
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 13 , panel: ST6
Kierownik: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki