Suche
Kategorie
Erscheinungsjahr
30690 Treffer
×
Publikationen
×
< 2021
×
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
×
Universität Koblenz
×
Hochschule Kaiserslautern
×
Hochschule Koblenz
- Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
- Special issue on automated deduction: Decidability, complexity, tractability
- Journal of Symbolic Computation. Bd. 45. H. 2. Amsterdam: Elsevier 2010 S. 151 - 152
- Wechselberger, Ulrich
- Serious Games zwischen Spiel und Ernst
- Ullrich Dittler;Michael Hoyer (Hrsg). Zwischen Kompetenzerwerb und Mediensucht: Chancen und Gefahren des Aufwachsens in digitalen Erlebniswelten aus medienpsychologischer und medienpädagogischer Sicht. München: kopaed 2010 S. 135 - 146
- 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
- Grzegorzek, Marcin; Trierscheid, Marina; Papoutsis, Dimitri et al.
- 3D Teeth Segmentation from Dentition Surfaces
- ICGST Journal of Graphics, Vision and Image Processing. Bd. 10. H. 6. Delaware: ICGST 2010 S. 29 - 35
- Bahr, Matthias; Poth, Peter
- Sachbücher zur Schoah für Jugendliche. Literaturbericht
- Katechetische Blätter. Bd. 135. 2010 S. 70 - 73
- 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