| |
Zaawansowane metody analizy i syntezy mikrosystemów cyfrowych
|
| | Marian Adamski: Sterowniki logiczne PLC i RLC | ![](/img/pdf-s.gif) |
| | Grzegorz Andrzejewski: Równoważność płaskich i hierarchicznych sieci Petriego | ![](/img/pdf-s.gif) |
| | Piotr Bubacz: Wykorzystanie układów rekonfigurowalnych w regulacji adaptacyjnej | ![](/img/pdf-s.gif) |
| | Arkadiusz Bukowiec: Synteza automatów Mealy’ego z wielokrotnymi kodami stanów wewnętrznych | ![](/img/pdf-s.gif) |
| | Janusz Jabłoński: Arytmetyka resztowa w cyfrowym przetwarzaniu sygnałów | ![](/img/pdf-s.gif) |
| | Andrzej Karatkiewicz: Dynamiczna analiza systemów współbieżnych | ![](/img/pdf-s.gif) |
| | Grzegorz Łabiak: Sekwencja, współbieżność i hierarchia w modelowaniu zachowania dyskretnych sterowników reaktywnych | ![](/img/pdf-s.gif) |
| | Piotr Miczulski: Binarne diagramy decyzyjne w projektowaniu sterowników cyfrowych | ![](/img/pdf-s.gif) |
| | Marek Sałamaj, Piotr Bubacz: Wielopoziomowe mechanizmy bezpieczeństwa inteligentnych rozwiązań procesorowych | ![](/img/pdf-s.gif) |
| | Zbigniew Skowroński: Środowisko projektowe dla potrzeb syntezy systemów osadzonych | ![](/img/pdf-s.gif) |
| | Andrzej Stasiak: Projektowanie zintegrowane na poziomie procesorowym | ![](/img/pdf-s.gif) |
| | Jacek Tkacz: Wykorzystanie logiki sekwentów Gentzena do projektowania kombinacyjnych układów cyfrowych | ![](/img/pdf-s.gif) |
| | Agnieszka Węgrzyn: Weryfikacja układów sterowania binarnego | ![](/img/pdf-s.gif) |
| |
Języki, algorytmy i technologie informatyczne
|
| | Artur Gramacki: Przegląd metod budowy aplikacji użytkowych dla baz danych Oracle | ![](/img/pdf-s.gif) |
| | Jarosław Gramacki: Koncepcja zastosowania sztucznych sieci neuronowych w diagnostyce baz danych Oracle | ![](/img/pdf-s.gif) |
| | Tomasz Gratkowski: Cykl życia projektu informatycznego | ![](/img/pdf-s.gif) |
| | Elżbieta Kawecka: Odtwarzalność momentów według teorii kwantowania Widrowa | ![](/img/pdf-s.gif) |
| | Adam Kołopieńczyk: Dokumenty w modelowaniu procesów organizacji | ![](/img/pdf-s.gif) |
| | Małgorzata Kołopieńczyk: Zastosowanie relacyjnych baz danych w projektowaniu i symulacji sterowników logicznych | ![](/img/pdf-s.gif) |
| | Kamil Mielcarek: RTLinux/BSD jako system operacyjny czasu rzeczywistego | ![](/img/pdf-s.gif) |
| | Anna Pławiak–Mowna: Kompatybilność kardiostymulatorów w środowisku elektromagnetycznym – badania eksperymentalne | ![](/img/pdf-s.gif) |
| | Andrzej Popławski: Kompresja obrazów ruchomych z wykorzystaniem kodowania subpasmowego | ![](/img/pdf-s.gif) |
| | Izabela Skorupska: Metody sztucznej inteligencji w rozwiązywaniu zadań optymalizacji | ![](/img/pdf-s.gif) |
| | Mariusz Szychiewicz: Redukcja zakłóceń w sekwencjach video, kodowanych za pomocą kodeka falkowego imc-3dezbc | ![](/img/pdf-s.gif) |
| | Wojciech Zając: Cyfrowe przetwarzanie danych medialnych | ![](/img/pdf-s.gif) |
| | Michał Małecki: Koncepcja wzorców projektowych w języku Java | ![](/img/pdf-s.gif) |
| |
Urządzenia elektroniczne oraz systemy mikroprocesorowe
|
| | Robert Dąbrowski: Komputerowy system odtwarzania napięć i prądów | ![](/img/pdf-s.gif) |
| | Edward Greczko: Wielopoziomowe falowniki napięcia | ![](/img/pdf-s.gif) |
| | Bartosz Jakubski: Wielokanałowy generator cyfrowy | ![](/img/pdf-s.gif) |
| | Marek Kopeć: Testowanie nowoczesnych urządzeń elektroenergetycznej automatyki zabezpieczeniowej | ![](/img/pdf-s.gif) |
| | Piotr Mróz: Metody i systemy do testowania urządzeń pomiarowo-sterujących | ![](/img/pdf-s.gif) |
| | Andrzej Olencki: Zastosowania kalibratorów wielkości elektrycznych | ![](/img/pdf-s.gif) |
| | Jan Szmytkiewicz: Metody cyfrowej adiustacji kalibratora uniwersalnego | ![](/img/pdf-s.gif) |
| | Krzysztof Urbański: Pomiary jakości energii elektrycznej z wykorzystaniem techniki mikroprocesorowej | ![](/img/pdf-s.gif) |
| | Jan Wiśniewski: Mikromocowy stabilizowany układ polaryzacji tranzystora bipolarnego | ![](/img/pdf-s.gif) |