Year of publication
Type of material
Licence
TIB reading rooms collection
1–20 of 648 hits
Sort by:
Sort by:
-
Die Figuren der romantischen Vision : Victor Hugo als Paradigma
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1994| -
Experimentelle Semiotik in Literaturavantgarden : über die Wiener Gruppe mit Bezug auf die Konkrete Poesie
Free accessTIBKAT | 2001| -
Two Active Sites for Photocatalytic Oxidation of Formic Acid on TiO2: Effects of H2O and Temperature
Online Contents | 2002|Contributors: Backes, Michael J. -
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
Springer Verlag | 2003| -
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
Springer Verlag | 2003| -
Cryptographically Sound and Machine-Assisted Verification of Security Protocols
Springer Verlag | 2003| -
Symmetric Authentication within a Simulatable Cryptographic Library
Free accessSpringer Verlag | 2003| -
Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineeering : Washington, DC, USA, October 30, 2003 ; co-located with CCS '03
TIBKAT | 2003|Contributors: Backes, Michael -
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
Free accessSpringer Verlag | 2004|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.