The online catalog uses functional cookies: these are essential to make the site work.
Cookies policy
What are cookies?
Cookies are small text files placed on your browser by websites. They help make websites work, or work more efficiently. They also \u0022remember\u0022 some of your preferences, so you don't have to set a preference again every time you switch to a different page on the same website.
If cookies are a concern for you, you may like to regularly clear your cookies on your browser or use a private browser mode. Check your browser settings for these options.
Essential cookies
Here is the list of essential cookies used on the Koha online catalog.
Some of these depend on settings chosen by the library team; therefore all the cookies listed may not apply to this site.
Storage
Name
Value
Expiration
Description
Cookie
CGISESSID
Session ID
Until logout or end of session
Session cookie
Cookie
KohaOpacLanguage
Language code
3 years
Stores the language the user selected, so the online catalog will appear in that same language the next time it is visited.
Cookie
form_serialized
form_serialized_limits
Search terms and limits
End of session or when the advanced search page is accessed again.
jQuery cookie. Stores search terms and limits of the last advanced search. Set when an advanced search is submitted.
Cookie
search_path_code
ads (fewer) or exs (more)
End of session or when the advanced search page is accessed again.
jQuery cookie. Related to serialized_form* cookies. Stores if the advanced search form was used with 'More options' or 'Fewer options'.
Cookie
num_paragraph
Count of search options added
End of session or when the advanced search page is accessed again.
jQuery cookie. Used to store the number of created options when user selects 'More options' in advanced search to increase search boxes.
Cookie
bib_list
List of record IDs (biblionumbers) separated by /
End of session or until the cart is emptied.
Stores cart contents in the online catalog. Set when records are added to the cart for the first time.
Non-essential cookies
The library team may create additional cookies. These are optional and will require your agreement before they are used.
If any non-essential cookies are created, they will appear below.
Authority search results
Results 1 to 1 of 1
Authority search results
Authorized headings
Type of heading
Records
Hasło osobowe:
Veith, Helmut (1971-2016).
Notes
Handbook of model checking / Edmund M. Clarke [et al.] eds. - Cham, 2018. Red.