Autor: Georg Weissenbacher

Support

3 Ebooks von 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
Deutsch
DRM
€21.33
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 20 …
EPUB
Englisch
DRM
€3.84
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 20 …
EPUB
Englisch
DRM
€3.83