Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

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

  1. Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  2. Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: prof. Andrzej Piotr Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki