Engineering SAT applications

DSpace Repositorium (Manakin basiert)

Engineering SAT applications

Autor(en): Zielke, Christian
Tübinger Autor(en):
Zielke, Christian
Erscheinungsjahr: 2015
Sprache: Englisch
Referenz zum Volltext: http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-671745
DDC-Klassifikation: 004 - Informatik
Dokumentart: Dissertation
Seitenzahl: VII, 138 S. : graph. Darst.
Verbund-Nachweis: 453517277
453516769
Kommentar: Tübingen, Univ., Diss., 2015.
Zur Langanzeige

Das Dokument erscheint in: