Suche
Kategorie
Erscheinungsjahr
18356 Treffer
- Pironti, Alfredo; Jürjens, Jan
- Formally-Based Black-Box Monitoring of Security Protocols
- Fabio Massacci;Dan Wallach;Nicola Zannone (Hrsg). Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings. Berlin: Springer 2010 S. 79 - 95 (Lecture Notes in Computer Science)
- Mouratidis, Haralambos; Jürjens, Jan
- From goal-driven security requirements engineering to secure design.
- Int. J. Intell. Syst. Bd. 25. H. 8. 2010 S. 813 - 840
- Lindermann, Nadine; Valcárcel, Sylvia; von Korflesch, Harald F. O.
- Ein Stufenmodell für kollaborative offene Innovationsprozesse in Netzwerken kleiner und mittlerer Unternehmen mit Web 2.0
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2010 S. 23
- Decker, Peter; Thierfelder, Susanne; Paulus, Dietrich et al.
- Dense Statistic Versus Sparse Feature-Based Approach for 3D Object Recognition
- Yuri Zhuravlev;Igor Gurevich;Vladimir Kutuzov;Heinrich Niemann (Hrsg). 10-ja Meždunarodnaja Konferencija "Identifikacija Častic i Analiz Izobraženij: Novye Informacionnye Technologii": PRIA-10-2010, 5 - 12 dekabrja 2010, Sankt-Peterburg ; materialy konferencii - 10th International Conference "Pattern Recognition and Image Analysis: New Information Technologies": PRIA-10-2010, 5 - 12 Dezember 2010, Sankt-Peterburg. Sankt-Peterburg: Politechnika 2010 S. 181 - 184
- Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
- Cryptographic Security Verification for C by Symbolic Execution: A 5-minute presentation
- Computer Security Foundations Symposium (CSF). 2010
- Magin, Philipp; von Kortzfleisch, Harald F. O.
- A Complexity Theory Perspective on Scientific Entrepreneurship Engineering and Empirical Investigation in German Speaking Europe
- Petra Ahrweiler (Hrsg). Innovation in Complex Social Systems. London: Routledge 2010 S. 187 - 203
- Kschischo, Maik
- A gentle introduction to the thermodynamics of biochemical stoichiometric networks in steady state
- The European Physical Journal Special Topics. Bd. 187. Berlin: Springer 2010 S. 255 - 274
- Herwartz-Emden, Leonie; Schurt, Verena; Waburg, Wiebke et al.
- Mädchen aus Einwandererfamilien in der Schule
- Leonie Herwartz-Emden;Verena Schurt;Wiebke Waburg (Hrsg). Mädchen in der Schule: Empirische Studien zu Heterogenität in monoedukativen und koedukativen Kontexten. Opladen: Barbara Budrich 2010 S. 191 - 230
- Herwartz-Emden, Leonie; Schurt, Verena; Waburg, Wiebke
- Mädchen in der Schule: Empirische Studien zu Heterogenität in monoedukativen und koedukativen Kontexten
- Opladen: Barbara Budrich 2010
- Pätzold, Henning
- Responsibility and accountability in adult education: the unequal siblings
- Egetenmeyer Regina;Nuissl Ekkehard (Hrsg). Teachers and trainers in adult and lifelong learning: Asian and European perspectives. Berlin: Peter Lang 2010 S. 135 - 143