Blick ins Buch

Rune Krauss

Speichereffizienter Aufbau von binären Entscheidungsdiagrammen

1. Auflage 2023. 21,0 cm / 14,8 cm / 1,1 cm ( B/H/T )
Buch (Softcover), 184 Seiten
EAN 9783658431204
Veröffentlicht November 2023
Verlag/Hersteller Springer VS

Auch erhältlich als:

eBook (pdf)
46,99
59,99 inkl. MwSt.
Teilen
Beschreibung

einlitung.- grundlagen.- masterbdd ( m b d d ).- ausnutzung von ordnungseigenschaften.- performanz evaluation.- zusammenfassung und ausblick.- literatur.

Portrait

Der Autor Rune Krauss ist wissenschaftlicher Mitarbeiter / Promotionsstudent an der Universität Bremen. Seine Forschungs- sowie Lehrschwerpunkte umfassen die Logiksynthese und formale Verifikation von Schaltungen. Die wesentlichen Ziele seiner Arbeit sind deren algorithmische Verbesserung und die Entwicklung neuartiger graphenbasierter Datenstrukturen zur Steigerung der Effizienz des rechnergestützten Entwurfs von integrierten Schaltkreisen in technischen Systemen.

Inhaltsverzeichnis

einlitung.- grundlagen.- masterbdd ( m b d d ).- ausnutzung von ordnungseigenschaften.- performanz evaluation.- zusammenfassung und ausblick.- literatur.

Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17

DE - 69121 Heidelberg

E-Mail: ProductSafety@springernature.com

Das könnte Sie auch interessieren

Julia Ruhs
Links-grüne Meinungsmacht
Buch (Softcover)
Sofort lieferbar
20,00
Sarah Kuttner
Mama & Sam
Buch (Hardcover)
Sofort lieferbar
24,00
Aldous Huxley
Zeit der Oligarchen
Buch (Hardcover)
Sofort lieferbar
14,00
Katharina Zweig
Weiß die KI, dass sie nichts weiß?
Buch (Softcover)
Sofort lieferbar
20,00
Roberto Simanowski
Sprachmaschinen
Buch (Softcover)
Sofort lieferbar
23,00
Marc-Uwe Kling
Der Tag, an dem die Oma das Internet kaputt...
Buch (Hardcover)
Sofort lieferbar
12,00
Silke Müller
Schule gegen Kinder
Buch (Hardcover)
Sofort lieferbar
22,00
Jannis Brühl
Disruption
Buch (Softcover)
Lieferbar innerhalb von 1-2 Wochen
20,00
Sofort lieferbar
24,30
Aya Jaff
Broligarchie
Buch (Hardcover)
Sofort lieferbar
23,99
Andreas Erle
Das kann KI
Buch (Softcover)
Sofort lieferbar
19,90
Sofort lieferbar
19,90
Johannes Knörzer
Ein Quantum Zukunft - Quantenphysik und Qua...
Buch (Softcover)
Lieferbar innerhalb von 5-7 Tagen
24,99
Ursula Poznanski
Erebos 2
Buch (Hardcover)
Sofort lieferbar
19,95
Martin Andree
Krieg der Medien
Buch (Hardcover)
Sofort lieferbar
28,00
Sofort lieferbar
4,95
Jimmy Wales
TRUST
Buch (Hardcover)
Sofort lieferbar
24,00
Cornelia Lohs
Der inoffizielle James Bond Reiseführer
Buch (Softcover)
Sofort lieferbar
19,99
Christoph Engemann
Die Zukunft des Lesens
Buch (Softcover)
Sofort lieferbar
14,00
Sofort lieferbar
19,95
Jörg Rieger Espind...
Windows 11 für Senioren
Buch (Softcover)
Sofort lieferbar
19,90
Wolfram Lotz
Träume in Europa
Buch (Hardcover)
Lieferbar innerhalb von 1-2 Wochen
23,00
Sofort lieferbar
12,30
Annekathrin Kohout
Hyperreaktiv
Buch (Softcover)
Sofort lieferbar
18,00
Steffen Mau
Triggerpunkte
Buch (Softcover)
Sofort lieferbar
25,00
Lieferbar innerhalb von 1-2 Wochen
25,30
Oliver Bock
ChatGPT - Das Praxisbuch
Buch (Softcover)
Sofort lieferbar
19,95
Ingo Dachwitz
Digitaler Kolonialismus
Buch (Hardcover)
Sofort lieferbar
28,00
Johanna Pirker
The Game is On
Buch (Hardcover)
Sofort lieferbar
26,00
Judith Le Huray
Vernetzt gehetzt. Schulausgabe
Buch (Softcover)
Sofort lieferbar
6,95
Keach Hagey
Sam Altman
Buch (Hardcover)
Sofort lieferbar
28,00
Christian Immler
WhatsApp - optimal nutzen - neueste Version...
Buch (Softcover)
Sofort lieferbar
12,95
Lukas Gerner
IT-Berufe (AO 2020)
Buch (Softcover)
Sofort lieferbar
31,30
Klaus Richter
IT-Handbuch
Buch (Hardcover)
Sofort lieferbar
46,50
Bernhard Pörksen
Zuhören
Buch (Hardcover)
Sofort lieferbar
24,00
Rainer Hattenhauer
ChatGPT & Co.
Buch (Softcover)
Sofort lieferbar
24,90