Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 4.

Wyniki
		Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych [dokument elektroniczny] / Mirosław Kurkowski. autor Kurkowski, Mirosław, (1971-2024) Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Akademicka Oficyna Wydawnicza EXIT Andrzej Lang, 2014 Zasoby online: Tytuł jest dostępny w wersji elektronicznej na platformie ibuk.pl. Status: Brak dostępnych egzemplarzy.
		Verifying security protocols modeled by networks of automata / Mirosław Kurkowski, Wojciech Penczek. autor Kurkowski, Mirosław, (1971-2024) Penczek, Wojciech Serie: Prace IPI PAN ; 998 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2007 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Kryptografia : teoretyczne podstawy i praktyczne zastosowania / Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny ; Polsko-Japońska Wyższa Szkoła Technik Komputerowych. autor Kościelny, Czesław Kurkowski, Mirosław, (1971-2024) Srebrny, Marian, (1947- ) Polsko-Japońska Wyższa Szkoła Technik Komputerowych. Wydawnictwo [] Serie: Podręczniki Akademickie - Polsko-Japońska Wyższa Szkoła Technik Komputerowych ; t. 36 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Wydawnictwo Polsko-Japońskiej Wyższej Szkoły Technik Komputerowych, cop. 2009 Zasoby online: Kliknij tutaj, aby uzyskać dostęp online Okładka Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni CzO 170637. Niedostępny: Biblioteka Politechniki Poznańskiej: Wypożyczono (1). Zamów
		Timed automata based model checking of timed security protocols / Mirosław Kurkowski, Wojciech Penczek. autor Kurkowski, Mirosław, (1971-2024) Penczek, Wojciech Serie: Prace IPI PAN ; nr 1010 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.