Suche
Kategorie
Erscheinungsjahr
8449 Treffer
×
Publikationen
×
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
×
Universität Koblenz
×
Hochschule Trier
×
Theologische Fakultät Trier
×
Hochschule Koblenz
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
- Steve Kremer;Michael Backes;Steve Zdancewic;Jonathan Herzog (Hrsg). 24th IEEE Computer Security Foundations Symposium CSF 2011: 27-29 June, 2011; Cernay-la-Ville, France. Los Alamitos, CA: IEEE Computer Society 2011 S. 3 - 17
- Grzegorzek, Marcin; Schwerbel, David; Balthasar, Dirk et al.
- Automatic Sorting of Alluminium Alloys Based on Spectroscopy Measures
- 2011
- Frey, Hannes; Pillay, Ranjith
- A Feasibility Check for Geographical Cluster Based Routing under Inaccurate Node Localization in Wireless Sensor Networks
- Norbert Luttenberger;Hagen Peters (Hrsg). 17th GI/ITG Conference on Communication in Distributed Systems KiVS 2011: 17. Fachtagung Kommunikation in Verteilten Systemen; March 8–11, 2011, Kiel, Germany. Bd. 17. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2011 S. 145 - 156
- Wildt, T.; Bertram, Matthias; von Kortzfleisch, Harald F. O.
- A Case Study on the Management Challenges of Reciprocal Innovation Impulses in the Special-Purpose Machinery Industry
- Walter Ganz;Florian Kicherer;Alexander Schletz (Hrsg). RESER 2011: Productivity of Services Next Gen - beyond output/input; conference proceedings. Stuttgart: Fraunhofer 2011 S. keine Angaben
- Jürjens, Jan
- Schattenseiten - Interview zum Thema Cloud-Sicherheit
- Media Biz : Medien- und Veranstaltungsbranche und unabhängiges Fachmagazin für Medien, Kultur & Technik. Wien: MEDIA BIZ 2011
- Schaarschmidt, Mario; Kilian, Thomas; Walsh, G. et al.
- Motivation and Creativity in Controlled Platforms: An Analysis Based on Facebook and iPhone Application Developers
- 2011 S. 1 - 2
- Röttger, Diana; Seib, Viktor; Müller, Stefan
- MFC: A Morphological Fiber Classification Approach
- Heinz Handels;Jan Ehrhardt;Thomas Martin Deserno;Hans-Peter Meinzer;Thomas Tolxdorff (Hrsg). Bildverarbeitung für die Medizin 2011Algorithmen - Systeme - Anwendungen; Proceedings des Workshops vom 20. - 22. März 2011 in Lübeck. Berlin: Springer 2011 S. 364 - 368
- Jürjens, Jan
- Model-Based Security Engineering for Evolving Systems (Invited Lecture)
- 2011
- Frey, Hannes; Hollick, Matthias; Loch, Adrian
- Curve-based Planar Graph Routing in Multihop Wireless Networks
- Jaime Lloret;Ivan Stojmenovic;Dajin Wang (Hrsg). Proceedings oft the 8th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems: IEEE MASS 2011; 17-22 October 2011; Valencia, Spain. Los Alamitos, CA: IEEE Computer Society 2011 S. 149 - 151