Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

Filtry

wszystkich: 1669
wybranych: 2

wyczyść wszystkie filtry


Filtry wybranego katalogu

  • Jednostka administracyjna

wyczyść Filtry wybranego katalogu niedostępne

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

  • Katedra Technologii Polimerów

    Zespoły Badawcze

    W Katedrze Technologii Polimerów realizowane są prace badawczo-wdrożeniowe, wykonywane ekspertyzy i analizy oraz prowadzone są szkolenia w zakresie technologii polimerów oraz przetwórstwa i recyklingu tworzyw sztucznych. Oferujemy nowe technologie i przeprowadzamy modyfikacje technologii już istniejących.

  • Zespół Algorytmów i Modelowania Systemów

    Studiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...