• Produktbild: Algorithmen und Datenstrukturen im VLSI-Design
  • Produktbild: Algorithmen und Datenstrukturen im VLSI-Design

Algorithmen und Datenstrukturen im VLSI-Design OBDD — Grundlagen und Anwendungen

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.1998

Abbildungen

XIV, 286 S.

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23,3/15,5/1,7 cm

Gewicht

460 g

Auflage

1998

Sprache

Deutsch

ISBN

978-3-540-63869-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.1998

Abbildungen

XIV, 286 S.

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23,3/15,5/1,7 cm

Gewicht

460 g

Auflage

1998

Sprache

Deutsch

ISBN

978-3-540-63869-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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)

Weitere Artikel finden Sie in

  • Produktbild: Algorithmen und Datenstrukturen im VLSI-Design
  • Produktbild: Algorithmen und Datenstrukturen im VLSI-Design
  • 1. Einleitung.- 2. Grundlagen.- 2.1 Aussagen und Prädikate.- 2.2 Mengen, Relationen und Funktionen.- 2.3 Graphen.- 2.4 Algorithmen und Datenstrukturen.- 2.5 Komplexität von Algorithmen.- 2.6 Hashverfahren.- 2.7 Endliche Automaten und Finite-State-Maschinen.- 2.8 Referenzen.- I. Datenstrukturen für Schaltfunktionen.- 3. Boolesche Funktionen.- 4. Klassische Darstellungen.- 5. Anforderungen an Datenstrukturen für die formale Schaltkreisverifikation.- II. OBDDs: Eine effiziente Datenstruktur.- 6. OBDDs — Geordnete binäre Entscheidungsgraphen.- 7. Effiziente Implementierung von OBDDs.- 8. Einfluß der Variablenordnung auf die Komplexität von OBDDs.- 9. Optimierung der Variablenordnung.- III. Anwendungen und Erweiterungen.- 10. Analyse sequentieller Systeme.- 11. Symbolisches Model Checking.- 12. Varianten und Erweiterungen von OBDDs.- 13. Transformationstechniken zur Optimierung.