Treffer 1 - 2 von 2 für Suche 'Wintersteiger, Christoph', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    Gustav Tauschek und seine Maschinen

    Gustav Tauschek und seine Maschinen von Helfert, Martin, Mazuran, Petra, Wintersteiger, Christoph

    Veröffentlicht 2006
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Theory and applications of satisfiability testing – SAT 2018 21st International Conference, SAT 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018 : proceedings

    Theory and applications of satisfiability testing – SAT 2018 21st International Conference, SAT 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9...

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: