作者: Georg Weissenbacher

支持

3 电子书 Georg Weissenbacher

Armin Biere & Daniel Kroning: Digitaltechnik – Eine praxisnahe Einführung
Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. Es enthält viele auf den Anfänger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: …
PDF
德语
DRM
€21.39
Hana Chockler & Georg Weissenbacher: Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July …
EPUB
英语
DRM
€3.81
Hana Chockler & Georg Weissenbacher: Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July …
EPUB
英语
DRM
€3.84