Suche
Kategorie
Erscheinungsjahr
9154 Treffer
×
Publikationen
×
Johannes Gutenberg-Universität Mainz
×
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
×
Universität Koblenz
×
Hochschule Koblenz
- Sofronie-Stokkermans, Viorica
- Hierarchical Reasoning for the Verification of Parametric Systems
- Jürgen Giesl;Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 171 - 187
- Lee, Seok-Won; Monga, Mattia; Jürjens, Jan
- The 6th International Workshop on Software Engineering for Secure Systems SESS 2010
- Jeff Kramer;Judith Bishop;Prem Devanbu;Sebastian Uchitel (Hrsg). Proceeding of the 32nd International Conference on Software Engineering ICSE 2010: Volume 2; 1-8 May 2010 Cape Town, South Africa. New York, NY: ACM Association for Computing Machinery 2010 S. 433 - 434
- Suenderhauf, Niko
- The Causal Update Filter - A Novel Biologically Inspired Filter Paradigm for Appearance-Based SLAM
- IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010). 2010 S. 3969 - 3974
- Ventzke, Stefan; Weiß, Silke; Wimmer, Maria A.
- Stakeholder-Beteiligung in der Entwicklung eines Virtual Company Dossiers mithilfe von Web 2.0
- Maria A. Wimmer;Uwe Brinkhoff;Siegfried Kaiser;Dagmar Lück-Schneider;Erich Schweighofer;Andreas Wiebe (Hrsg). Vernetzte IT für einen effektiven Staat: Gemeinsame Fachtagung Verwaltungsinformatik (FTVI) und Fachtagung Rechtsinformatik (FTRI) 2010; 25.-26. März in Koblenz; Proceedings. Bonn: Gesellschaft für Informatik 2010 S. 109 - 122
- Jürjens, Jan
- Sicherheit von Cloud Computing
- 2010
- Bicking, Melanie; Wimmer, Maria A.; Triantafillou, Anna et al.
- Project and Programme Evaluation: Monitoring and Evaluating EC-funded eParticipation Projects
- Jean-Loub Chappelet;Oliver Glassey;Marijn Janssen;Ann Macintosh;H. Jochen Scholl;Efthimios Tambouris;Maria A. Wimmer (Hrsg). Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research and Projects of IFIP EGOV and ePart 2010; Lausanne, Switzerland, August 29 - September 2, 2010. Linz: Trauner 2010 S. 259 - 266
- Jürjens, Jan
- Outsourcing, SaaS & Clouds: Aber sicher! (... und compliant)
- Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2010). Wuppertal (Germany). 2010
- Neidhardt, Eva; Hemmer, Ingrid; Hemmer, Michael et al.
- Factors Influencing Children’s Map Based Orientation in an Unknown City
- 2010 S. 67 - 70
- Schmidt-Denter, Ulrich; Quaiser-Pohl, Claudia; Schöngen, D.
- Ein Verfahren zur Erfassung der personalen und sozialen Identität von Jugendlichen und Erwachsenen in Forschungsbericht Nr. 1 zum Projekt „Personale und soziale Identität im Kontext von Globalisierung und nationaler Abgrenzung“
- 3., durchgesehene und korrigierte Auflage. Aufl. Köln: Department Psychologie, Universität zu Köln 2010
- Heinecke, Michaela
- Adequate coping with job related training: Competence beliefs, control and achievement
- 2010