Suchen

Treffer: 8

• Monographie

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

  Daniel Wasserrab

  Buchdetails

• Monographie

  Verification-based software-fault detection

  Christoph David Gladisch

  Buchdetails

• Monographie

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

  Benjamin Weiß

  Buchdetails

• Monographie

  From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications

  Uwe Schäfer

  Buchdetails

• Monographie

  Specification and verification of object-oriented software components

  Andreas Roth

  Buchdetails

• Monographie

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

  Joachim Breitner

  Buchdetails

• Monographie

  Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics

  Lennart Merkert

  Buchdetails

• Chapter from OCM 2015 – 2nd International Conference on Optical Characterization of Materials, March 18th – 19th, 2015, Karlsruhe, Germany : Conference Proceedings

  Non-destructive determination of grape berrysugar concentration using visible/near infraredimaging and possible impact on wine quality

  Christian Negara, Kai-Uwe Vieth, Maximilian Freund, Zrinka Bockaj, Magali Lafontaine

  Buchdetails