| Christian Sohler < Christian Stangier < Christoph Bobrowski | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000213 (2002) | Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne] | Algorithms and Heuristics in VLSI Design |
| 000223 (2001) | Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne] | Data Structures for Boolean Functions BDDs — Foundations and Applications |
| 000228 (2000) | Christoph Meinel [États-Unis, Allemagne] ; Christian Stangier [États-Unis, Allemagne] | Speeding Up Image Computation by Using RTL Information |
List of associated KwdEn.i
| Nombre de documents | Descripteur |
|---|---|
| 3 | Binary decision diagram |
| 3 | Formal verification |
| 2 | Circuit design |
| 2 | VLSI circuit |
| 1 | Boolean function |
| 1 | Calculation |
| 1 | Computer aided design |
| 1 | Controller |
| 1 | Data structure |
| 1 | Description language |
| 1 | Heuristic method |
| 1 | Image |
| 1 | Reachability |
| 1 | Reachability analysis |
| 1 | Sequential method |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/LNCS/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i -k "Christian Stangier"
HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i \
-Sk "Christian Stangier" \
| HfdSelect -Kh $EXPLOR_AREA/Data/LNCS/Analysis/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Rhénanie
|area= UnivTrevesV1
|flux= LNCS
|étape= Analysis
|type= indexItem
|index= Author.i
|clé= Christian Stangier
}}
| This area was generated with Dilib version V0.6.31. |  |