SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation

DSpace Repository

SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation

Author: Walter, Rouven
Tübinger Autor(en):
Walter, Rouven
Other Contributors: Eberhard Karls Universität Tübingen
Issue year: 2017
Verlagsangabe: Tübingen
Language: English
Full text: http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-807329
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: PhDThesis
Pages: viii, 262 Seiten : Illustrationen
Reference: 500112762
500110840
Note: Dissertation, Eberhard Karls Universität Tübingen, 2018; Erscheint auch als, Online-Ausgabe, Walter, Rouven, SAT-based analysis, (re-)configuration & optimization in the context of automotive product documentation, Tübingen, 2018, 1 Online-Ressource (viii, 262 Seiten),
Show full item record

This item appears in the following Collection(s)