Auteurs
Analysis
LNCS
Racine
Analysis
LNCS
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves - Analysis (LNCS)

Index « Auteurs » - entrée « Thorsten Theobald »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Thorsten Keuler < Thorsten Theobald < Tibor Jager  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
000258 (1997) Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
000275 (1996) Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne]Local encoding transformations for optimizing OBDD-representations of finite state machines
000289 (1995) Thorsten Theobald [Allemagne]How to Break Shamir’s Asymmetric Basis

List of associated KwdEn.i

Nombre de
documents		Descripteur
2Finite automaton
1Automata theory
1Automatic proving
1Boolean function
1Computer aided design
1Computer theory
1Dynamical system
1Experimental study
1Expert system
1Implementation
1Integrated circuit
1Mathematical logic
1Optimization
1Software engineering
1Verification

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 "Thorsten Theobald" 

HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i  \
                -Sk "Thorsten Theobald" \
         | 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é=    Thorsten Theobald
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024