Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise (German)
National licence
- New search for: Meinel, Christoph
- New search for: Theobald, Thorsten
- New search for: Meinel, Christoph
- New search for: Theobald, Thorsten
In:
Informatik-Spektrum
;
20
, 5
;
268-275
;
1997
- Article (Journal) / Electronic Resource
-
Title:Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
-
Contributors:Meinel, Christoph ( author ) / Theobald, Thorsten ( author )
-
Published in:Informatik-Spektrum ; 20, 5 ; 268-275
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:1997-10-01
-
Size:8 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:German
-
Keywords:Schlüsselwörter rechnergestützter Entwurf , hochintegrierte Schaltungen , VLSI Design , formale Verifikation , Datenstrukturen für Boolesche Funktionen , binäre Entscheidungsgraphen.
-
Source:
Table of contents – Volume 20, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 259
-
Architektur moderner RISC-MikroprozessorenEberle, Hans et al. | 1997
- 268
-
Geordnete binaere Entscheidungsgraphen und ihre Bedeutung im rechnergestuetzten Entwurf hochintegrierter SchaltkreiseMeinel, C. / Theobald, T. et al. | 1997
- 268
-
Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter SchaltkreiseMeinel, Christoph / Theobald, Thorsten et al. | 1997
- 276
-
Mechanismen zur Steuerung und Verwaltung von ATM-Netzen Teil 2: Modellierung und LeistungsbewertungRitter, Michael / Tran-Gia, Phuoc et al. | 1997
- 286
-
Eine Definitionssprache für die Kommunikationsverbindungen in verteilten AutomatisierungssystemenDrachenfels, Heiko et al. | 1997
- 286
-
Eine Definitionssprache fuer die Kommunikationsverbindungen in verteilten AutomatisierungssystemenDrachenfels, H. et al. | 1997
- 294
-
VRMLDiehl, Stephan et al. | 1997