> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: SAT compilation for constraints over structured finite domains Beteiligte: Bau, Alexander [VerfasserIn] Körperschaft: Technische Universität Dresden Erschienen: Dresden: Technische Universität Dresden, 2017 Umfang: 226 Seiten; Illustrationen, Diagramme Sprache: Englisch Entstehung: RVK-Notation: ST 255 : Compiler (Compilerbau) Schlagwörter: Hochschulschrift Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 2017 4 008231 Barcode: 34514294 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden
Zentralbibliothek – Magazin Signatur: 2017 4 008230 Barcode: 34514293 Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung > Bestellen möglich - bitte anmelden