• Medientyp: Buch; Hochschulschrift
  • Titel: Towards next generation sequential and parallel SAT solvers
  • Beteiligte: Manthey, Norbert [VerfasserIn]
  • Erschienen: 2014
  • Umfang: VIII, 342 S.; Ill., graph. Darst
  • Sprache: Englisch
  • Entstehung:
  • RVK-Notation: ST 300 : Allgemeines
  • Schlagwörter: Hochschulschrift
  • Anmerkungen:

Exemplare

(0)
  • Status: Ausleihbar
  • Signatur: 2015 4 002044
  • Barcode: 34117886
  • Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung