Op voorraad 11 titels
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ń
kolektivMetody 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
kolektivOcena 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