Wyniki wyszukiwania

Słowa kluczowe: języki programowania

Zmień kryteria wyszukiwania ↓

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

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. 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
3. 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
4. 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
5. Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych

Kierownik: dr Jacek Andrzej Sroka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 4, panel: ST6
6. Efekty algebraiczne: kompozycja i koindukcja

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 14, panel: ST6
7. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 6, panel: ST6
8. Algorytmy przetwarzania danych tekstowych

Kierownik: dr hab. Sebastian Deorowicz

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Konkurs: OPUS 2, panel: ST6
9. Kompletność zdarzeniowa przypadków użycia

Kierownik: dr Jakub Jurkiewicz

Politechnika Poznańska, Wydział Informatyki

Konkurs: PRELUDIUM 1, panel: ST6
10. Asferyczny model atomu - odkrywanie nowych metod udokładniania struktur materiałów częściowo nieuporządkowanych

Kierownik: dr hab. Wojciech Andrzej Sławiński

Uniwersytet Warszawski, Wydział Chemii

Konkurs: OPUS 22 (LAP), panel: ST5
11. Entropia probabilistyczna w obliczeniach inżynierskich

Kierownik: prof. Marcin Marek Kamiński

Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska

Konkurs: OPUS 21, panel: ST8
12. Reprezentacja kodu programów dla identyfikacji wadliwych fragmentów kodu bazująca na uczeniu maszynowym

Kierownik: dr hab. Mirosław Ochodek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Konkurs: OPUS 21, panel: ST6
13. Konstruowanie specyfikacji i weryfikacja oprogramowania

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 6, panel: ST6
14. Automatyzacja wnioskowania konstruktywnego

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 4, panel: ST6
15. Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej

Kierownik: dr hab. Paweł Tomasz Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Konkurs: HARMONIA 3, panel: ST6

Wyszukiwarka projektów

Wyniki wyszukiwania