Georg Weissenbacher – författare
Visar alla böcker från författaren Georg Weissenbacher. Handla med fri frakt och snabb leverans.
8 produkter
Computer Aided Verification
Av Hana Chockler, Georg Weissenbacher
Inbunden, 2020
1013 kr
Lägg i varukorg
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Av Hana Chockler, Georg Weissenbacher
Häftad, 2018
564 kr
Lägg i varukorg
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 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were …
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Av Hana Chockler, Georg Weissenbacher
Häftad, 2018
564 kr
Lägg i varukorg
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 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were …
Digitaltechnik - Eine praxisnahe Einführung
Av Armin Biere, Daniel Kröning m. fl.
Häftad, 2008
310 kr
Lägg i varukorg
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: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in …
Digitaltechnik - Eine praxisnahe Einführung
Av Christoph M. Wintersteiger, Georg Weissenbacher m. fl.
E-bok, 2008
263 kr
Lägg i varukorg
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: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in …
