Nazwisko i imię |
Tytuł pracy |
Nagroda |
Walukiewicz Igor
|
Gentzenowska aksjomatyzacja zdaniowej logiki algorytmicznej PAL. |
I |
Kowalska Ewa
|
Poufność w systemach informatycznych. Komputerowe wspomaganie nauczania o szyfrowaniu informacji. |
II |
Litwinienko Dariusz
Zatopiański Jan
|
Język symulacji i symulator przepływu detali przez elastyczny system produkcyjny. |
III |
Bartoszek Bożena
|
Rónoległa implementacja algorytmu dla znajdowania subminimalnej bazy cyklowej. |
wyr |
Sałach-Gołupka Monika
|
System wspomagania generacji graficznych danych wektorowych na podstawie obrazów rastrowych. |
wyr |
Śmiałek Michał
|
System aproksymacji danych eksperymentalnych funkcjami analitycznymi. |
wyr |
Barbaszyński Marek
|
Obiektowy język programowania współbieżnego. |
|
Fałdziński Jarosław
|
Asembler skrośny mikrokomputera jednoukładowego 8051. |
|
Hajkowska Joanna
|
Systemy Lindenmayera i ich własności. |
|
Lisowska Dorota
Pniewski Maciej
|
System edycji i przetwarzania figur płaskich z wykorzystaniem funkcji B-sklejanych. |
|
Naumowicz Romuald
|
Symulator mikrokomputera jednoukładowego 8051. |
|
Pawłowski Ryszard
|
Opracować i uruchomić program translacji formatów opisu struktur układów VLSI dla celów komputerowego wspomagania projektowania. |
|
Piotrowicki Stanisław
|
Implementacja języka Sisal na komputerze IBM PC. |
|
Prokop Marek
|
Wizualizacja powierzchni algebraicznych metodą wyznaczania konturów. |
|