• 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:

Exemplare

(0)
  • Signatur: 2017 4 008231
  • Barcode: 34514294
  • Status: Ausleihbar, bitte bestellen
  • Signatur: 2017 4 008230
  • Barcode: 34514293
  • Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung