Browsing by Subject "Programmable logic controllers"

Browsing by Subject "Programmable logic controllers"

Sort by: Order: Results:

  • Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2016)
    A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic ...
  • Spindeldreier, Christian; Bartosch, Wolfgang; Wendrich, Thijs; Rasel, Ernst Maria; Ertmer, Wolfgang; Blume, Holger (Bellingham, WA : SPIE - International Society for Optical Engineering, 2018)
    Frequency stabilized light sources with narrow linewidth are mandatory for atom interferometry based experiments. For compact experiment designs used on space platforms, tunable DFB diode lasers are often used. These lasers ...