Suchen

Treffer: 12

• Monographie

  Model Transformation Languages with Modular Information Hiding

  Andreas Rentschler

  Buchdetails

• Monographie

  From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

  Daniel Wasserrab

  Buchdetails

• Monographie

  Register allocation for programs in SSA Form

  Sebastian Hack

  Buchdetails

• Monographie

  A Reference Structure for Modular Metamodels of Quality-Describing Domain-Specific Modeling Languages

  Misha Strittmatter

  Buchdetails

• Monographie

  Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

  Benjamin Weiß

  Buchdetails

• Monographie

  Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache

  Sebastian Weigelt

  Buchdetails

• Monographie

  A Semantic Wiki-based Platform for IT Service Management

  Frank Kleiner

  Buchdetails

• Monographie

  Entwurfsmuster für Fahrerlose Transportsysteme

  Andreas Trenkle

  Buchdetails

• Sammelband

  Jahresbericht 2015 / Institut für Angewandte Informatik

  Rainer Weidemann (ed.)

  Buchdetails

• Sammelband

  Jahresbericht 2014 / Institut für Angewandte Informatik

  Rainer Weidemann (ed.)

  Buchdetails

• Sammelband

  Jahresbericht 2016 / Institut für Angewandte Informatik

  Rainer Weidemann (ed.)

  Buchdetails

• Monographie

  Optimale Betriebsführung des Modularen Multilevel-Umrichters als Antriebsumrichter für Drehstrommaschinen

  Johannes Kolb

  Buchdetails