Simple Search

Cookie	Provider	Description	Expires
COPAUTH	OCLC	The cookie stores a successful login.	10 years after creation
EU_LAW_INFO	OCLC	Is set when the user has acknowledged the usage of cookies in OPEN.	10 years after creation
.ASPXANONYMOUS	DNN	The cookie stores an unique ID für anonymous users.	approximately 70 days
.DOTNETNUKE	DNN	A DNN cookie which is created during login.	Session
ASP.NET_SessionId	ASP.NET	Identifies the session of ASP.NET.	Session
authentication	OCLC	Saves the registration way of the patron. DNN (= DNN Login), COP (= OPEN Login) "" (= Patron is not logged in)	Session
dnn_IsMobile	DNN	The cookie stores whether the user uses a mobile device (e.g. a smartphone).	Session
languague	DNN	The cookie stores the currently set language (e.g. de-DE).	Session
LastPageId	DNN	The cookie stores the ID (TabID) of the last visited tab.	Session
__RequestVerificationToken	DNN	The cookie offers protection against cross-site attacks.	Session
SplashPageView	DNN	The cookie controls the single display of the welcome page.	Session
RepeaterCategories, RepeaterGroup	DNNGo	Cookies of the DNN module xPlugin, for layout configuration.	Session

Cookie	Provider	Description	Expires
GOOGLE_ANALYTICS_INFO	OCLC	The cookie is set when the user has acknowledged the usage of the tracking tool Google Analytics.	1 year
_ga, _ga__<container-id>	Google Analytics	The cookie _ga saves the Google Analytics-Client-ID in order to distinguish users, _ga__<container-id> is used to persist session state (provided the user has acknowledged the tool, please refer to cookie GOOGLE_ANALYTICS_INFO).	2 years
_Module_359_Survey_0_, AppearanceSecurityOptions, CSVExportOptions	DNN	These cookies are used by the optional 3rd party DNN module Survey.	until 31.12.9999, 20 minutes, 20 minutes

Cookie	Provider	Description	Expires
List of all settings cookies of OPEN:	OCLC	The cookies control the unfolded/closed - status of the different settings sections as well as the visibility of the headers.	Session
StayInEditMode	DNN	The cookie controls the edit mode of the page.	Session
cem_pending, CEM_CallbackData, CEM_ExistingModule, CEM_NewModuleId	DNN	These cookies are saved when adding or duplicating a module during edit mode.	Session

The Logic of Software

A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Year: 2022

Publisher: Berlin, Springer

Series: Lecture notes in computer science : Festschrift; 13360

Media group: MONOGRAPHIE

Sicherheit 2022

Sicherheit, Schutz und Zuverlässigkeit : Konferenzband der 11. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5. - 8. April 2022 in Karlsruhe

Year: 2022

Publisher: Bonn, Gesellschaft für Informatik e.V.

Series: Lecture notes in informatics / P; 323

Media group: MONOGRAPHIE

Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Year: 2021

Publisher: Heidelberg, Springer

Series: Lecture notes in computer science : Festschrift; 13030

Media group: MONOGRAPHIE

Near-Optimal Schedules for Simultaneous Multicasts

Year: 2021

Parent work: 48th International Colloquium on Automata, Languages, and Programming

Media group: LIPIcs

Machine intelligence today

applications, methodology, and technology : Selected results of the 1st online Dagstuhl workshop on applied machine intelligence

Year: 2021

Publisher: Berlin, Springer

Series: Informatik Spektrum; 2021

Media group: ARTICLE

Deductive Software Verification

Future Perspectives : Reflections on the Occasion of 20 Years of KeY

Year: 2020

Publisher: Heidelberg, Springer

Series: Lecture notes in computer science : State-of-the-Art Survey; 12345

Media group: MONOGRAPHIE

Electronic Voting

5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6 - 9, 2020, Proceedings

Year: 2020

Publisher: Heidelberg, Springer

Series: Lecture notes in computer science; 12455

Media group: MONOGRAPHIE

3D Morphable Face Models

Past, Present, and Future : article

Author: Egger, Bernhard; Tewari, Ayush; Zollhoefer, Michael

Year: 2020

Publisher: New York, ACM

Series: ACM transactions on graphics; 39. 2020, 5

Media group: ARTICLE

Sicherheit 2020

Konferenzband der 10. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 17.- 20. März 2020 in Göttingen

Year: 2020

Publisher: Bonn, Gesellschaft für Informatik e.V.

Series: Lecture notes in informatics / P; 301

Media group: MONOGRAPHIE

Applying machine intelligence in practice

Selected results of the 2019 Dagstuhl Workshop on Applied Machine Intelligence

Year: 2020

Publisher: Berlin , Springer

Series: Informatik Spektrum; 2020 : article

Media group: ARTICLE

OPEN V 11.1.0.0

Simple Search

search result

The Logic of Software

Sicherheit 2022

Model Checking, Synthesis, and Learning

Near-Optimal Schedules for Simultaneous Multicasts

Machine intelligence today

Deductive Software Verification

Electronic Voting

3D Morphable Face Models

Sicherheit 2020

Applying machine intelligence in practice