1
0
0
(1 - 17 von 18
)
Thirteenth International Florida Artificial Intelligence Research...
www.aaai.org
AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.
Security and Dependability for Ambient Intelligence | E-kirja |...
www.ellibs.com
Ellibs E-kirjakauppa - E-kirja: Security and Dependability for Ambient Intelligence - Tekijä: Kokolakis, Spyros - Hinta: 109,95€
Ideal-Filter-Verklebung von Verbänden - Sigrid Gürgens - Google Books
books.google.com.ua
Title, Ideal-Filter-Verklebung von Verbänden. Author, Sigrid Gürgens. Publisher, na, Length, 100 pages. Export Citation, BiBTeX EndNote RefMan ...
Formale Begriffsanalyse: Mathematische Grundlagen - Bernhard Ganter,...
books.google.nl
Dieses erste Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der...
Information Security: 6th International Conference, ISC 2003,...
books.google.com.ua
[GR] Sigrid Gürgens and Carsten Rudolph. Security analysis of (un-) fair nonrepudiation protocols. In Formal Aspects of Security – BCS FASec 2002, volume ...
Infrastructure Security: International Conference, InfraSec
books.google.nl
Framework⋆ Sigrid Gürgens, Peter Ochsenschläger, and Carsten Rudolph Fraunhofer – Institute for Secure Telecooperation SIT , D
Security and Dependability for Ambient Intelligence - Google Books
books.google.de
Security and Dependability Properties Sigrid Gürgens and Gimena ...
Trust and Privacy in Digital Business: Third International Conference...
books.google.de
Gudes Sigrid Gürgens Marit Hansen Audun Josang Tom Karygiannis Sokratis ...
Software Composition: 12th International Conference, SC 2013,...
books.google.nl
The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013,...
Trusted Systems: 5th International Conference, INTRUST 2013, Graz,...
books.google.de
This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Trusted Systems, INTRUST 2013, held in Graz,...
A Formal Analysis Technique for Authentication Protocols - Sigrid...
books.google.de
Sigrid Gürgens. GMD, pages. 0 Reviewshttp://books.google.com/books/about/A_Formal_Analysis_Technique_for_Authenti.html?id=-3Y2HAAACAAJ ...
Authenticity and Provability - a Formal Framework - Sigrid Gürgens,...
books.google.de
... a Formal Framework. Front Cover. Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph. GMD-Forschungszentrum Informationstechnik, pages.
Einfache Verklebungen von Begriffsverbänden - Sigrid Gürgens - Google...
books.google.com.ua
Sigrid Gürgens. Fachber., TH, pages. 0 Reviewshttp://books.google.com/books/about/Einfache_Verklebungen_von_Begriffsverb%C3%A4.html?id= ...
Efficient Automated Testing of Cryptographic Protocols - Sigrid...
books.google.de
Efficient Automated Testing of Cryptographic Protocols. Front Cover. Sigrid Gürgens, René Peralta. GMD-Forschungszentrum Informationstechnik,
Role Based Specification and Security Analysis of Cryptographic...
books.google.de
... Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. Front Cover. Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph.
Computer Security: ESORICS International Workshops, CyberICPS...
books.google.com.ua
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on the Security of Industrial Control Systems and...
Information Security: 4th International Conference, ISC Malaga,...
books.google.com.ua
... and Olga Kornievskaia (University of Michigan) Suitability of a Classical Analysis Method for E-commerce Protocols Sigrid Gürgens ...
Verwandte Suchanfragen zu Sigrid Gürgens
Carsten Rudolph Andreas Fuchs Benjamin Weyl | Rainer Prinoth |
Person "Gürgens" (1) Vorname "Sigrid" (14100) Name "Gürgens" (26) |
sortiert nach Relevanz / Datum