Christoph M. Wintersteiger – författare

Visar alla böcker från författaren Christoph M. Wintersteiger. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Theory and Applications of Satisfiability Testing – SAT 2018

   21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

   Av Olaf Beyersdorff, Christoph M. Wintersteiger

   Häftad, 2018

   564 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 …

2. 

   Theory and Applications of Satisfiability Testing - SAT 2018

   21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

   Av Christoph M. Wintersteiger, Olaf Beyersdorff

   E-bok, 2018

   710 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018. The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 …

3. 

   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 …

4. 

   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 …