SAT-Algorithmen und Systemaspekte : vom Mikroprozessor zum parallelen System

Bibliographic Details
Main Author: Schubert, Tobias (Author)
Format: Book
Language:German
Published: 2008
Item Description:Auch online unter http://www.freidok.uni-freiburg.de
Physical Description:V, 218 S. graph. Darst.
Subjects:
QR Code: Show QR Code