Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XIII, 283 S. graph. Darst. |
ISBN: | 3540638695 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV011767458 | ||
003 | DE-604 | ||
005 | 20070808 | ||
007 | t | ||
008 | 980202s1998 gw d||| |||| 00||| ger d | ||
016 | 7 | |a 952777274 |2 DE-101 | |
020 | |a 3540638695 |9 3-540-63869-5 | ||
035 | |a (OCoLC)247747038 | ||
035 | |a (DE-599)BVBBV011767458 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-91G |a DE-91 |a DE-20 |a DE-1046 |a DE-1050 |a DE-384 |a DE-521 |a DE-526 |a DE-634 |a DE-83 |a DE-188 |a DE-29T | ||
084 | |a ST 190 |0 (DE-625)143607: |2 rvk | ||
084 | |a ZN 4950 |0 (DE-625)157424: |2 rvk | ||
084 | |a 28 |2 sdnb | ||
084 | |a 37 |2 sdnb | ||
084 | |a DAT 195f |2 stub | ||
100 | 1 | |a Meinel, Christoph |e Verfasser |4 aut | |
245 | 1 | 0 | |a Algorithmen und Datenstrukturen im VLSI-Design |b OBDD - Grundlagen und Anwendungen |c Christoph Meinel ; Thorsten Theobald |
264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
300 | |a XIII, 283 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Computerarchitektur |0 (DE-588)4048717-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a OBDD |0 (DE-588)4389323-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a VLSI |0 (DE-588)4117388-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a CAD |0 (DE-588)4069794-0 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a VLSI |0 (DE-588)4117388-0 |D s |
689 | 0 | 1 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a VLSI |0 (DE-588)4117388-0 |D s |
689 | 1 | 1 | |a Computerarchitektur |0 (DE-588)4048717-9 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a VLSI |0 (DE-588)4117388-0 |D s |
689 | 2 | 1 | |a CAD |0 (DE-588)4069794-0 |D s |
689 | 2 | 2 | |a OBDD |0 (DE-588)4389323-5 |D s |
689 | 2 | |5 DE-604 | |
700 | 1 | |a Theobald, Thorsten |d 1971- |e Verfasser |0 (DE-588)120182343 |4 aut | |
856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007940927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-007940927 |
Datensatz im Suchindex
_version_ | 1804126310126059520 |
---|---|
adam_text | CHRISTOPH MEINEL THORSTEN THEOBALD ALGORITHMEN UND DATENSTRUKTUREN
IMVLSI-DESIGN OBDD - GRUNDLAGEN UND ANWENDUNGEN MIT 116 ABBILDUNGEN
SPRINGER INHALTSVERZEICHNIS 1. EINLEITUNG 1 2. GRUNDLAGEN 7 2.1 AUSSAGEN
UND PRAEDIKATE 7 2.2 MENGEN, RELATIONEN UND FUNKTIONEN 9 2.3 GRAPHEN 11
2.4 ALGORITHMEN UND DATENSTRUKTUREN 13 2.5 KOMPLEXITAET VON ALGORITHMEN
15 2.6 HASHVERFAHREN 19 2.7 ENDLICHE AUTOMATEN UND
FINITE-STATE-MASCHINEN 21 2.8 REFERENZEN 22 TEIL I. DATENSTRUKTUREN FUER
SCHALTFUNKTIONEN 3. BOOLESCHE FUNKTIONEN 27 3.1 BOOLESCHE ALGEBRA 28 3.2
BOOLESCHE FORMELN UND FUNKTIONEN 33 3.3 SCHALTFUNKTIONEN 37 3.3.1
SCHALTFUNKTIONEN MIT HOECHSTENS ZWEI VARIABLEN 39 3.3.2 UNTERFUNKTIONEN
UND SHANNON-ENTWICKLUNG 41 3.3.3 VISUELLE REPRAESENTATION 43 3.3.4
MONOTONE SCHALTFUNKTIONEN 44 3.3.5 SYMMETRISCHE FUNKTIONEN 46 3.3.6
THRESHOLD-FUNKTIONEN 49 3.3.7 PARTIELLE SCHALTFUNKTIONEN 51 3.4
REFERENZEN 52 X INHALTSVERZEICHNIS 4. KLASSISCHE DARSTELLUNGEN 53 4.1
WAHRHEITSTABELLEN 54 4.2 ZWEISTUFIGE NORMALFORMEN 55 4.3 SCHALTKREISE
UND FORMELN 62 4.3.1 SCHALTKREISE 62 4.3.2 FORMELN 65 4.4 BINAERE
ENTSCHEIDUNGSBAEUME UND -GRAPHEN 66 4.4.1 BINAERE ENTSCHEIDUNGSBAEUME 67
4.4.2 BRANCHING-PROGRAMME 69 4.4.3 READ-ONCE-ENTSCHEIDUNGSGRAPHEN 73
4.4.4 KOMPLEXITAET GRUNDLEGENDER OPERATIONEN 74 4.5 REFERENZEN 79 5.
ANFORDERUNGEN AN DATENSTRUKTUREN FUER DIE FORMALE SCHALTKREISVERIFIKATION
81 5.1 SCHALTKREISVERIFIKATION 83 5.2 FORMALE VERIFIKATION
KOMBINATORISCHER SCHALTKREISE 85 5.3 VERIFIKATION SEQUENTIELLER
SCHALTKREISE 89 5.4 REFERENZEN 91 TEIL II. OBDDS: EINE EFFIZIENTE
DATENSTRUKTUR 6. OBDDS - GEORDNETE BINAERE ENTSCHEIDUNGSGRAPHEN 95 6.1
BEZEICHNUNGEN UND BEISPIELE 95 6.2 REDUZIERTE OBDDS: EINE KANONISCHE
DARSTELLUNG FUER SCHALTFUNKTIONEN 97 6.3 DER REDUKTIONSALGORITHMUS 103
6.4 GRUNDLEGENDE KONSTRUKTIONEN 105 6.5 AUSFUEHRUNG BINAERER OPERATIONEN
UND AEQUIVALENZTEST 107 6.6 REFERENZEN 110 7. EFFIZIENTE IMPLEMENTIERUNG
VON OBDDS 111 7.1 SCHLUESSELKONZEPTE 111 7.1.1 SHARED OBDDS 112 7.1.2
EINDEUTIGKEITSTABELLE UND STRENGE KANONIZITAET 113 7.1.3 ITE-ALGORITHMUS
UND COMPUTED-TABELLE 114 7.1.4 KOMPLEMENTIERTE KANTEN 119
INHALTSVERZEICHNIS XI 7.1.5 STANDARDTRIPEL 122 7.1.6 SPEICHERVERWALTUNG
124 7.2 EINIGE BEKANNTE OBDD-PAKETE 126 7.2.1 DAS OBDD-PAKET VON BRACE,
RUDELL UND BRYANT 127 7.2.2 DAS OBDD-PAKET VON LONG 127 7.2.3 DAS
CUDD-PAKET: COLORADO UNIVERSITY DECISION DIAGRAMS 128 7.3 REFERENZEN 128
8. EINFLUSS DER VARIABLENORDNUNG AUF DIE KOMPLEXITAET VON OBDDS 131 8.1
ZUSAMMENHANG ZWISCHEN VARIABLENORDNUNG UND OBDD-GROESSE 131 8.2
EXPONENTIELLE UNTERE SCHRANKEN 135 8.3 OBDDS MIT VERSCHIEDENEN
VARIABLENORDNUNGEN 144 8.4 KOMPLEXITAET DER MINIMIERUNG .... . 148 8.5
REFERENZEN 153 9. OPTIMIERUNG DER VARIABLENORDNUNG 155 9.1 HEURISTIKEN
FUER GUTE VARIABLENORDNUNGEN 155 9.1.1 DIE FAN-IN-HEURISTIK 156 9.1.2 DIE
GEWICHTS-HEURISTIK 158 9.2 DYNAMISCHES UMORDNEN 160 9.2.1 DER
VARIABLENSWAP 161 9.2.2 EXAKTE MINIMIERUNG 165 9.2.3
FENSTER-PERMUTATIONEN 168 9.2.4 DER SIFTING-ALGORITHMUS 170 9.2.5
BLOCK-SIFTING UND SYMMETRISCHES SIFTING 174 9.3 QUANTITATIVE AUSSAGEN
177 9.4 AUSBLICK 181 9.5 REFERENZEN 182 TEIL III. ANWENDUNGEN UND
ERWEITERUNGEN 10. ANALYSE SEQUENTIELLER SYSTEME 185 10.1 FORMALE
VERIFIKATION 186 10.2 GRUNDLEGENDE OPERATOREN 187 XII INHALTSVERZEICHNIS
10.2.1 VERALLGEMEINERTE COFAKTOREN 187 10.2.2 DER CONSTRAIN-OPERATOR 190
10.2.3 QUANTIFIZIERUNG 194 10.2.4 DER RESTRICT-OPERATOR 195 10.3
ERREICHBARKEITSANALYSE 197 10.4 EFFIZIENTE BILDBERECHNUNG 199 10.4.1
INPUT-SPLITTING 200 10.4.2 OUTPUT-SPLITTING 203 10.4.3 DIE
TRANSITIONSRELATION 204 10.4.4 PARTITIONIERUNG DER UEBERGANGSRELATION 208
10.5 REFERENZEN 210 11. SYMBOLISCHES MODEL CHECKING V 213 11.1
COMPUTATION TREE LOGIC 214 11.2 CTL-MODEL CHECKING 217 11.3
IMPLEMENTIERUNGEN 221 11.3.1 DAS SMV-SYSTEM 221 11.3.2 DAS VIS-SYSTEM
222 11.4 REFERENZEN 224 12. VARIANTEN UND ERWEITERUNGEN VON OBDDS 225
12.1 LOCKERUNG DER ORDNUNGSRESTRIKTION 225 12.2 ALTERNATIVE
DEKOMPOSITIONSTYPEN 233 12.3 ZERO-SUPPRESSED BDDS 238 12.4 MEHRWERTIGE
FUNKTIONEN 242 12.4.1 ZUSAETZLICHE SENKEN 243 12.4.2 KANTENBEWERTUNGEN
244 12.4.3 MOMENTBASIERTE ZERLEGUNGEN 245 12.5 REFERENZEN 248 13.
TRANSFORMATIONSTECHNIKEN ZUR OPTIMIERUNG 251 13.1 TRANSFORMIERTE OBDDS
251 13.2 TYPBASIERTE TRANSFORMATIONEN 255 13.2.1 DEFINITION 255 13.2.2
SCHALTKREISVERIFIKATION 257 13.3 LINEARE TRANSFORMATIONEN 259 13.3.1
DEFINITION 259 INHALTSVERZEICHNIS XIII 13.3.2 EFFIZIENTE IMPLEMENTIERUNG
261 13.3.3 LINEARES SIFTING 264 13.4 CODIERUNGSTRANSFORMATIONEN 266 13.5
REFERENZEN 271 LITERATURVERZEICHNIS 273 INDEX 279
|
any_adam_object | 1 |
author | Meinel, Christoph Theobald, Thorsten 1971- |
author_GND | (DE-588)120182343 |
author_facet | Meinel, Christoph Theobald, Thorsten 1971- |
author_role | aut aut |
author_sort | Meinel, Christoph |
author_variant | c m cm t t tt |
building | Verbundindex |
bvnumber | BV011767458 |
classification_rvk | ST 190 ZN 4950 |
classification_tum | DAT 195f |
ctrlnum | (OCoLC)247747038 (DE-599)BVBBV011767458 |
discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02121nam a2200541 c 4500</leader><controlfield tag="001">BV011767458</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070808 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980202s1998 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952777274</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540638695</subfield><subfield code="9">3-540-63869-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247747038</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011767458</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4950</subfield><subfield code="0">(DE-625)157424:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">37</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 195f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meinel, Christoph</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmen und Datenstrukturen im VLSI-Design</subfield><subfield code="b">OBDD - Grundlagen und Anwendungen</subfield><subfield code="c">Christoph Meinel ; Thorsten Theobald</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 283 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OBDD</subfield><subfield code="0">(DE-588)4389323-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">OBDD</subfield><subfield code="0">(DE-588)4389323-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Theobald, Thorsten</subfield><subfield code="d">1971-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120182343</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007940927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007940927</subfield></datafield></record></collection> |
id | DE-604.BV011767458 |
illustrated | Illustrated |
indexdate | 2024-07-09T18:15:25Z |
institution | BVB |
isbn | 3540638695 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007940927 |
oclc_num | 247747038 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-20 DE-1046 DE-1050 DE-384 DE-521 DE-526 DE-634 DE-83 DE-188 DE-29T |
owner_facet | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-20 DE-1046 DE-1050 DE-384 DE-521 DE-526 DE-634 DE-83 DE-188 DE-29T |
physical | XIII, 283 S. graph. Darst. |
publishDate | 1998 |
publishDateSearch | 1998 |
publishDateSort | 1998 |
publisher | Springer |
record_format | marc |
spelling | Meinel, Christoph Verfasser aut Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen Christoph Meinel ; Thorsten Theobald Berlin [u.a.] Springer 1998 XIII, 283 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computerarchitektur (DE-588)4048717-9 gnd rswk-swf OBDD (DE-588)4389323-5 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf VLSI (DE-588)4117388-0 gnd rswk-swf CAD (DE-588)4069794-0 gnd rswk-swf VLSI (DE-588)4117388-0 s Algorithmus (DE-588)4001183-5 s DE-604 Computerarchitektur (DE-588)4048717-9 s CAD (DE-588)4069794-0 s OBDD (DE-588)4389323-5 s Theobald, Thorsten 1971- Verfasser (DE-588)120182343 aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007940927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Meinel, Christoph Theobald, Thorsten 1971- Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen Computerarchitektur (DE-588)4048717-9 gnd OBDD (DE-588)4389323-5 gnd Algorithmus (DE-588)4001183-5 gnd VLSI (DE-588)4117388-0 gnd CAD (DE-588)4069794-0 gnd |
subject_GND | (DE-588)4048717-9 (DE-588)4389323-5 (DE-588)4001183-5 (DE-588)4117388-0 (DE-588)4069794-0 |
title | Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen |
title_auth | Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen |
title_exact_search | Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen |
title_full | Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen Christoph Meinel ; Thorsten Theobald |
title_fullStr | Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen Christoph Meinel ; Thorsten Theobald |
title_full_unstemmed | Algorithmen und Datenstrukturen im VLSI-Design OBDD - Grundlagen und Anwendungen Christoph Meinel ; Thorsten Theobald |
title_short | Algorithmen und Datenstrukturen im VLSI-Design |
title_sort | algorithmen und datenstrukturen im vlsi design obdd grundlagen und anwendungen |
title_sub | OBDD - Grundlagen und Anwendungen |
topic | Computerarchitektur (DE-588)4048717-9 gnd OBDD (DE-588)4389323-5 gnd Algorithmus (DE-588)4001183-5 gnd VLSI (DE-588)4117388-0 gnd CAD (DE-588)4069794-0 gnd |
topic_facet | Computerarchitektur OBDD Algorithmus VLSI CAD |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007940927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT meinelchristoph algorithmenunddatenstrukturenimvlsidesignobddgrundlagenundanwendungen AT theobaldthorsten algorithmenunddatenstrukturenimvlsidesignobddgrundlagenundanwendungen |