Treffer: SAT-Algorithmen und Systemaspekte

Titel:

SAT-Algorithmen und Systemaspekte : vom Mikroprozessor zum parallelen System / Tobias Schubert

Verantwortlich:

Entstehung:

2008

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Deutsch

Hochschulschrift:

Dissertation, Albert-Ludwigs-Universität Freiburg, 2008

Schlagworte:

Zusatz-Informationen