Suche
Kategorie
Erscheinungsjahr
9937 Treffer
×
Publikationen
×
Johannes Gutenberg-Universität Mainz
×
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
×
Universität Koblenz
×
Hochschule Trier
×
Hochschule Koblenz
- Jürjens, Jan; Schmidt, Holger
- Werkzeugunterstützung für UML- und Geschäftsprozessmodelle
- 2010 S. 1 - 15
- Mondorf, Ansgar; Wimmer, Maria A.
- The European VCD System: Facilitating Public Procurement through Criteria to Evidence Mapping
- Jacques Berleur;Magda Hercheui;Lorenz Hilty (Hrsg). What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience: 9th IFIP TC 9 International Conference, HCC9 2010 and 1st IFIP TC 11 International Conference, CIP 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010 Proceedings. Berlin: Springer 2010 S. 73 - 85
- Funke, Rafael; Frey, Hannes
- Revisiting Clustering Based Efficient Broadcast for Wireless Multihop Networks with Memory Limited Nodes
- Ioanis Nikolaidis;Kui Wu (Hrsg). Ad-Hoc, Mobile and Wireless Networks: 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings. Berlin: Springer 2010 S. 53 - 66
- Gossow, David; Wojke, Nicolai; Bing, René et al.
- RoboCup 2010 - homer@UniKoblenz (Germany)
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2010 S. 1 - 8
- Vetter, Sebastian; Pellenz, Johannes; Lang, Dagmar et al.
- RoboCup 2010 - RoboCup Rescue Team resko@UniKoblenz (Germany)
- Koblenz: Universität Koblenz-Landau 2010 S. 1 - 12
- 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