• Produktbild: Recent Findings in Boolean Techniques
  • Produktbild: Recent Findings in Boolean Techniques

Recent Findings in Boolean Techniques Selected Papers from the 14th International Workshop on Boolean Problems

96,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.04.2022

Herausgeber

Rolf Drechsler + weitere

Verlag

Springer

Seitenzahl

197

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

324 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-68073-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.04.2022

Herausgeber

Verlag

Springer

Seitenzahl

197

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

324 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-68073-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Recent Findings in Boolean Techniques
  • Produktbild: Recent Findings in Boolean Techniques
  • Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning - A Survey.-The Vital Role of Machine Learning in Developing Emerging Technologies.-Fast Optimal Synthesis of Symmetric Index Generation Functions.-Axiomatizing Boolean Differentiation.-Construction of Binary Bent Functions by FFT-like Permutation Algorithms.-Nonlinear codes for test patterns compression: the old school way.-Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls.-Hybrid Control of Toffoli and Peres Gates.-GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools.