„Programmierung“

Suchergebnisse

10.000+ Treffer

• Thermomechanisches Verhalten von semikristallinem Polyester-Urethan
  Mirtschin, Nikolaus ; Fleck, Claudia ; Pretsch, Thorsten ; Wagner, Manfred H. 2017 Bundesanstalt für Materialforschung und -prüfung (BAM)
• Abstractions for Performance Programming on Multi-Core Architectures with Hierarchical Memory
  Terboven, Christian ; Müller, Mathias S. ; Bischof, Christian ; Chapman, Barbara 2016 Universitätsbibliothek der RWTH Aachen
• SAT Compilation for Constraints over Structured Finite Domains
  Bau, Alexander ; Waldmann, Johannes ; Vogler, Heiko ; Fuhs, Carsten 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A Comprehensive Knowledge Base for Context-Aware Tactical Driver Assistance Systems
  Fuchs, Simone 2009 Shaker
• Model Driven Visual Programming for Serious Games
  Thillainathan, Niroshan 2016 Kassel University Press
• Zerstreute Öffentlichkeiten : zur Programmierung des Gemeinsinns
  Fohrmann, Jürgen 2002 München : Fink
• A component framework for personalized multimedia applications
  Scherp, Ansgar 2015 Universitätsbibliothek Kiel
• Programming by Configuration in Service Robotics
  Kampe, Henning 2016 Shaker
• Parallel Object Oriented Simulation with Lagrangian Particle Methods
  Fleissner, Florian 2010 Shaker
• Approaches to probabilistic model learning for mobile manipulation robots – = Ansätze zum maschinellen Lernen probabilistischer Modelle für mobile Manipulationsroboter
  Sturm, Jürgen ; Burgard, Wolfram 2011 Universität
• Methode zur Reduktion technischer Nebenzeiten in der spanenden Fertigung
  Bosch, Thomas ; Klemm, Peter 2016 Universitätsbibliothek der Universität Stuttgart
• PeerCollaboration – A Peer-to-Peer Collaboration Application for Large-scale Systems
  Bocek, Thomas 2010 Shaker
• Entwicklung eines automatisierten CNC-Prozessketten-Generators für spanende Werkzeugmaschinen
  Kretzschmann, Ralf 2010 Shaker
• Kurzfristige Gewebshypoxie als möglicher Mechanismus der Programmierung renaler Folgeerkrankungen nach experimenteller Plazentainsuffizienz
  Bertmann, Janette 2016 Deutsche Zentralbibliothek für Medizin
• Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
  Breitner, Joachim 2016 KIT Scientific Publishing
• Verification of business rules programs – = Verifikation von Geschäftsregel-Programmen
  Berstel-Da Silva, Bruno ; Podelski, Andreas 2012 Universität
• Consistency, isolation, and irrevocability in software transactional memory – = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory
  Bieniusa, Annette ; Thiemann, Peter 2011 Universität
• Hybride Fehlerprognose zur Unterstützung prädiktiver Instandhaltungskonzepte in der Luftfahrt
  Mikat, Heiko ; Klingauf, Uwe ; Abele, Eberhard 2015 Universitäts- und Landesbibliothek Darmstadt
• Online-Adaption und synchronisierte Ausführung einmalig demonstrierter Roboterverhalten
  Groth, Christian ; Henrich, Dominik 2016 Universität Bayreuth
• Konzeption und Realisierung einer visuellen Modellierungssprache für Endanwender zur generischen Anpassung des dynamischen Verhaltens von Softwaresystemen
  Pyttlik, Jakob Peter ; Balzert, Helmut ; Heyer, Gerhard 2016 Ruhr-Universität Bochum