Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 14.

Wyniki
		Semantyka operacyjna wybranych diagramów UML* / Artur Niewiadomski, Wojciech Penczek, Maciej Szreter. autor Niewiadomski, Artur Penczek, Wojciech Szreter, Maciej Serie: Prace IPI PAN ; 1009 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język streszczenia: angielski 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.
		Verifying timed properties of security protocols / Gizela Jakubowska, Wojciech Penczek. autor Jakubowska, Gizela Penczek, Wojciech Serie: Prace IPI PAN ; 991 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, 2006 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Bounded model checking for interpreted systems / Wojciech Penczek and Alessio Lomuscio. autor Penczek, Wojciech Lomuscio, Alessio Serie: Prace IPI PAN ; 946 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		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.
		Model checking security protocols : a multi-agent system approach / Alessio Lomuscio, Wojciech Penczek. autor Lomuscio, Alessio Penczek, Wojciech Serie: Prace IPI PAN ; 1000 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.
		SMT-based abstract planning in planics ontology / Artur Niewiadomski, Wojciech Penczek, Agata Półrola. autor Niewiadomski, Artur Penczek, Wojciech Półrola, Agata Serie: Prace IPI PAN ; 1027 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Branching time, bounded model checking for elementary net systems / Wojciech Penczek and Bożena Woźna, Andrzej Zbrzezny. autor Penczek, Wojciech Woźna-Szcześniak, Bożena Zbrzezny, Andrzej Serie: Prace IPI PAN ; 940 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : IPI PAN, 2001 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		SAT-based bounded model checking for the universal fragment of TCTL / Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. autor Penczek, Wojciech Woźna-Szcześniak, Bożena Zbrzezny, Andrzej Serie: Prace IPI PAN ; 947 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Towards scenarios of external attacks upon security protocols / Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek. autor Dembiński, Piotr Jakubowska, Gizela Penczek, Wojciech Serie: Prace IPI PAN ; nr 1012 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.
		Towards automated abstract planning based on a genetic algorithm / Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek. autor Skaruz, Jarosław Niewiadomski, Artur Penczek, Wojciech Polska Akademia Nauk. Instytut Podstaw Informatyki [pbl] Serie: Prace IPI PAN ; 1026 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Model checking temporal properties of reaction systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. autor Męski, Artur Penczek, Wojciech Rozenberg, Grzegorz Polska Akademia Nauk. Instytut Podstaw Informatyki [pbl] Serie: Prace IPI PAN ; 1028 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: dostępny Cz 3163.
		Checking reachability properties for timed automata via SAT / Bożena Woźna, Wojciech Penczek and Andrzej Zbrzezny. autor Woźna-Szcześniak, Bożena Zbrzezny, Andrzej Penczek, Wojciech Serie: Prace IPI PAN ; 949 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Reachability analysis for timed automata based on partitioning / Agata Półrola, Wojciech Penczek, Maciej Szreter. autor Półrola, Agata Penczek, Wojciech Szreter, Maciej Serie: Prace IPI PAN ; 961 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2003 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		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.