Wyszukiwarka projektów

• Słowa kluczowe: programming languages ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

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

1. 1. Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

   Kierownik: dr Małgorzata Biernacka

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 2, panel: ST6

2. 2. Metody wnioskowania o programach w językach wyższego rzędu

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 8, panel: ST6

3. 3. Intencje i konwencje w komunikacji językowej. Niegrice'owski program w filozofii języka i naukach o poznaniu

   Kierownik: dr hab. Maciej Stanisław Witek

   Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

   Konkurs: OPUS 10, panel: HS1

4. 4. Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z użyciem ManyDSL

   Kierownik: Piotr Danilewski

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: PRELUDIUM 12, panel: ST6

5. 5. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 17, panel: ST6

6. 6. Czynniki indywidualne w kontekście mobilności Erasmus+

   Kierownik: dr hab. Katarzyna Maria Ożańska-Ponikwia

   Akademia Techniczno-Humanistyczna

   Konkurs: OPUS 26, panel: HS2

7. 7. Efekty algebraiczne: kompozycja i koindukcja

   Kierownik: dr Maciej Adam Piróg

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: SONATA 14, panel: ST6