Suchen

Treffer: 19

• Monographie

  Kursbuch Informatik I. Formale Grundlagen der Informatik und Programmierkonzepte am Beispiel von Java. Eine Einführung in die Informatik auf der Grundlage etablierter Lehrbücher

  Sebastian Abeck

  Buchdetails

• Monographie

  Eine formale algorithmische Synthese digitaler Schaltungen

  Kai Kapp

  Buchdetails

• Monographie

  Eine Architektur für Programmsynthese aus natürlicher Sprache

  Mathias Landhäußer

  Buchdetails

• Monographie

  Relational exploration. Combining description logics and formal concept analysis for knowledge specification

  Sebastian Rudolph

  Buchdetails

• Monographie

  Nutzung des Zentrifugalkraftfeldes für die Vorhersage der Langzeitstabilität von kosmetischen Emulsionen

  Mandy Mühlbach

  Buchdetails

• Monographie

  Worte am Werk : Wittgenstein über Sprache und Welt

  Luis Miguel Carrujo Covas

  Buchdetails

• Monographie

  Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache

  Sebastian Weigelt

  Buchdetails

• Monographie

  Specification Languages for Preserving Consistency between Models of Different Languages

  Max Emanuel Kramer

  Buchdetails

• Monographie

  Denkräume und Denkbewegungen : Untersuchungen zum metaphorischen Gebrauch der Sprache der Räumlichkeit

  Christian Hoffstadt

  Buchdetails

• Monographie

  Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

  Joachim Breitner

  Buchdetails

• Monographie

  Innovative tools and design strategies. The case of Eclectic Architecture in Buenos Aires

  Federico Andrés Garrido

  Buchdetails

• Monographie

  Funktionale Sicherheit nach ISO 26262 in der Konzeptphase der Entwicklung von Elektrik/Elektronik Architekturen von Fahrzeugen

  Martin Hillenbrand

  Buchdetails

• Monographie

  Kollaborative Softwareentwicklung auf Basis serviceorientierter Architekturen

  Thomas Karle

  Buchdetails

• Monographie

  Ontologie-basierte Monosemierung

  Joachim Kleb

  Buchdetails

• Monographie

  Carl Sternheim und die Komödie des Expressionismus

  Li Liu

  Buchdetails

• Monographie

  Transformation von Multiphysics-Modellen in einen FPGA-Entwurf für den echtzeitfähigen HiL-Test eingebetteter Systeme

  Christian Köllner

  Buchdetails

• Monographie

  RECAA - Werkzeugunterstützung in der Anforderungserhebung

  Sven J. Körner

  Buchdetails

• Monographie

  Bidirektionale Abbildung zwischen Geschäftsprozessmodellen und IT-Kommunikationssystemen

  Björn Keuter

  Buchdetails

• Monographie

  Kooperative Regelungskonzepte auf Basis der Spieltheorie und deren Anwendung auf Fahrerassistenzsysteme

  Michael Flad

  Buchdetails