1
0
0
(1 - 22 von 24
)
Sicherheit von Smart Card-Anwendungen (Taschenbuch)
buchhai.de
Sicherheit von Smart Card-Anwendungen (Taschenbuch) von Dominik Haneberg Logos Berlin (June 2007) 349 Seiten EAN: ISBN: ...
Electronic ticketing: risks in e-commerce applications - EconBiz
www.econbiz.de
Dominik Haneberg. Year of publication: Authors: Haneberg, Dominik: Published in: Digital excellence : university meets economy. - Berlin [u. a.] : Springer ...
Verweile by Baumeister, Andreas; Haneberg, Almut; Merz, Vreni; Stutz,...
biblio.co.uk
Find Verweile by Baumeister, Andreas; Haneberg, Almut; Merz, Vreni; Stutz, Pierre; Meier, Michael; Thuer, Jakob
Dominik Haneberg | XanEdu Customization Platform
www.academicpub.com
Author: Dominik Haneberg. Results. Verification of Mondex electronic purses with KIV: from transactions to a security protocol Springer ...
FM 2006: Formal Methods: 14th International Symposium on Formal...
books.google.co.uk
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August The book...
Rigorous Methods for Software Construction and Analysis: Essays...
books.google.co.uk
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, and ...
The Church, the Councils, and Reform: The Legacy of the Fifteenth...
books.google.co.uk
Thorbecke, 2004), 131–140; Mathias Drton, Günter Hägele, Dominik Haneberg, ...
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International...
books.google.com.ua
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, and Wolfgang Reif Institute for Software & Systems Engineering University of Augsburg, Germany {schellhorn,ernst,joerg.pfaehler, -augsburg.de Abstract. This paper gives an overview over the development of a formally ...
Algebraic Methodology and Software Technology: 9th International...
books.google.de
Dominik Haneberg, Wolfgang Reif, and Kurt Stenzel Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg
Digital Excellence: University Meets Economy - Google Books
books.google.com.ua
University of Karlsruhe; ISSN )9/54(8 9/) :(2/) Andreas Böhm, Bernhard Murtz, Carsten 66 Dominik Haneberg.
InforLorV3, Istex, Checkpoint, indexItem, Author.i, Dominik Haneberg
lorexplor.istex.fr
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV3 |flux= Istex |étape= Checkpoint |type= indexItem |index= Author.i |clé= Dominik Haneberg }} ...
Applying Formal Methods: Testing, Performance, and M/E-Commerce:...
books.google.de
This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce,...
Emerging Trends in Information and Communication Security:...
books.google.de
This book constitutes the refereed proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS 2006, held...
Die verflixte Mathematik der Demokratie - George G. Szpiro - Google...
books.google.de
Der Band erläutert die mathematischen Hintergründe der demokratischen Wahlsysteme und führt dabei zugleich in ihre Geschichte ein. Die Mehrheitswahl und die...
Middleware 2004: ACM/IFIP/USENIX International Middleware Conference...
books.google.de
A Construction Kit for Modeling the Security of M-commerce Applications Dominik Haneberg, Wolfgang Reif, and Kurt Stenzel Lehrstuhl für Softwaretechnik und ...
Verhaltensgarantien in Selbst-Organisierenden Systemen - Florian Nafz...
books.google.de
Zukunftige Systeme erfordern ein hohes Mass an Flexibilitat, um den wachsenden Anforderungen gerecht zu werden. Gleichzeitig werden technische Systeme in mehr...
Verified Software: Theorie, Tools, Experiments: 5th International...
books.google.de
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and...
Grasshoppers and Grassland Health: Managing Grasshopper Outbreaks...
books.google.de
Dominik Haneberg, Wolfgang Reif, and Kurt Stenzel Lehrstuhl fur Softwaretechnik und Programmiersprachen Institut fur Informatik, Universitat Augsburg
Integrated Formal Methods: 6th International Conference, IFM 2007,...
books.google.de
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all...
Logic for Programming, Artificial Intelligence, and Reasoning: 11th...
books.google.de
... Dawson Francesco M. Donini Gilles Dowek Marcelo Falappa Michael Fink Holger Grandy Dominik Haneberg Duncan Hull Steffen Holldobler Tomi Janhunen ...
Verwandte Suchanfragen zu Dominik Andreas Haneberg
Gerhard Schellhorn Wolfgang Reif Dominik Haneberg | Dietmar Stang |
Personen Vorname "Andreas" (97752) Name "Haneberg" (95) |
sortiert nach Relevanz / Datum