Suchen

Treffer: 11

• Monographie

  Specification and verification of object-oriented software components

  Andreas Roth

  Buchdetails

• Monographie

  Proliferation-Proof Uranium/Plutonium Fuel Cycles: Safeguards and Non-Proliferation

  Günther Kessler

  Buchdetails

• Monographie

  Proliferation-proof Uranium/Plutonium and Thorium/Uranium Fuel Cycles: Safeguards and Non-Proliferation

  Günter Kessler

  Buchdetails

• Monographie

  Ultrafast nonlinear silicon waveguides and quantum dot semiconductor optical amplifiers

  Thomas Vallaitis

  Buchdetails

• Monographie

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

  Joachim Breitner

  Buchdetails

• Monographie

  Silicon-organic hybrid (SOH) electro-optic modulators for high-speed and power-efficient communications

  Stefan Wolf

  Buchdetails

• Monographie

  Quantum Sensing Experiments with Superconducting Qubits

  Andre Schneider

  Buchdetails

• Monographie

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

  Daniel Wasserrab

  Buchdetails

• Monographie

  An Optical Grooming Switch for High-Speed Traffic Aggregation in Time, Space and Wavelength

  Philipp Vorreau

  Buchdetails

• Monographie

  Ein Beitrag zur viskoelastischen Modellierung nichtholonomer Bindungsgleichungen

  Jens Deppler

  Buchdetails

• Chapter from Forum Bildverarbeitung 2024

  Explainable fatigue detection in assembly tasks through graph neural networks

  Jürgen Beyerer, Pascal Birnstill, Maximilian Becker, Vishwesh Vishwesh

  Buchdetails