• 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

93,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

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