Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Lehrveranstaltungen

Übungen zur Vorlesung SAT Solving in der Praxis

  • type: exercise
  • place:

    Seminarraum 301 (Geb. 50.34)
  • time:

    Do 14:00-15:30
  • start: 28.04.2016
  • lecturer:

    T. Balyo, C. Sinz
  • sws: 1
  • lv-no.: 2400085