Wyniki wyszukiwania: 2.

Wyniki
		Weryfikacja modelowa z NuSMV : wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2.5 / Iwona Grobelna ; Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki. autor Grobelna, Iwona Uniwersytet Zielonogórski. Oficyna Wydawnicza [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, cop. 2011 Inny tytuł: Weryfikacja modelowa z New Symbolic Model Verifier Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 172191.
		Podręcznik kontroli systemów informatycznych dla najwyższych organów kontroli : (podręcznik zatwierdzony przez XXI Międzynarodowy Kongres Najwyższych Organów Kontroli w Pekinie, październik 2013 r.) / opracowany przez INTOSAI Working Group on IT Audit (WGITA). autor Polska. Najwyższa Izba Kontroli [pbl] International Organization of Supreme Audit Institutions. Working Group on IT Audit Congress of INTOSAI (21 ; 2013 ; Pekin) Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Najwyższa Izba Kontroli, 2016 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 189441.

Nazwa	Wartość	Okres ważności	Opis
CGISESSID	identyfikator sesji	Do czasu wylogowania lub zakończenia sesji	Plik cookie sesji
KohaOpacLanguage	Kod języka	3 lata	Przechowuje kod ostatnio wybranego języka, dzięki czemu katalog online będzie wyświetlany w tym samym języku przy następnej wizycie.
form_serialized form_serialized_limits	parametry wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	Plik przechowuje parametry ostatniego wyszukiwania zaawansowanego
search_path_code	ads (mniej) lub exs (więcej)	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Powiązane z plikami cookie w formacie serialized_form*. Zapamiętuje, czy w formularzu wyszukiwania zaawansowanego zastosowano opcję „Więcej opcji” lub „Mniej opcji”.
num_paragraph	Ilość dodanych opcji wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Służy do przechowywania liczby utworzonych opcji, gdy użytkownik wybierze opcję „Więcej opcji” w wyszukiwaniu zaawansowanym, aby zwiększyć liczbę pól wyszukiwania.
bib_list	Lista identyfikatorów rekordów	Koniec sesji lub do opróżnienia koszyka.	Przechowuje zawartość koszyka w katalogu. Ustawia moment dodania rekordów do koszyka po raz pierwszy.

Dostosuj wyszukiwanie