Filtry
wszystkich: 1669
wybranych: 2
-
Katalog
- Publikacje 1415 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 50 wyników po odfiltrowaniu
- Wynalazki 11 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 68 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 60 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA
-
Katedra Technologii Polimerów
Zespoły BadawczeW 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
Zespoły BadawczeStudiowanie 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...