Filtry
Kč
-Kč
-
Celkem 7 titulů
Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych
Kurkowski Mirosław
Przetwarzanie i analiza ultradźwiękowych sygnałów dopplerowskich w ocenie aktywności ruchowej płodu
Walery PrzyborskiInteligencja wokół nas Współdziałanie agentów softwarowych, robotów, inteligentnych urządzeń
Kolektiv autorůMetody przetwarzania sygnałów akustycznych w komputerowej analizie mowy
red. Ondej Krutlk i Artur WołekModelowanie procesów produkcyjnych z wykorzystaniem diagramów aktywności języka UML i sieci Petriego
Kolektiv autorůOcena zdrowotności automatycznie skaryfikowanych żołędzi za pomocą komputerowej analizy obrazów
Tai WoffindenModelowanie numeryczne fantomów serca na potrzeby obrazowania odkształceń w echokardiografii
Stanisław Madeja CSsR