> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
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:
Bereichsbibliothek DrePunct – Magazin Signatur: 2015 4 002044 Barcode: 34117886 Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung > Bestellen möglich - bitte anmelden