Produktbild: Recent Findings in Boolean Techniques

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

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2021

Herausgeber

Rolf Drechsler + weitere

Verlag

Springer

Seitenzahl

197

Maße (L/B/H)

24,1/16/1,7 cm

Gewicht

483 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-68070-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2021

Herausgeber

Verlag

Springer

Seitenzahl

197

Maße (L/B/H)

24,1/16/1,7 cm

Gewicht

483 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-68070-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • 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.