Widok standardowy Widok MARC Widok ISBD

Techniki opisu formalnego systemów informatycznych czasu rzeczywistego / Jan Magott.

Autor:

Współtwórca(-y):

Rodzaj materiału: Tekst

TekstSzczegóły wydania: Warszawa : Wydawnictwa Komunikacji i Łączności, 2005.Opis: 207 s. : il. ; 24 cmISBN:

Inny tytuł:

Tematy:

Egzemplarze
Typ dokumentu	Obecna biblioteka	Kolekcja	Sygnatura	Status	Kod kreskowy
Niewypożyczane	Biblioteka Politechniki Poznańskiej w czytelni	Czytelnia	A 152863	Dostępny	0000055490

Liczba zamówień: 0

Na s. przytyt.: 35 lat Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej.

Bibliogr. s. 197-207.

Udostępnij

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.