| Saxe (Land) < Schleswig-Holstein < Sofia-ville (oblast) | Facettes : |
List of bibliographic references indexed by Schleswig-Holstein
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003131 (2010) | Gerold J Ger [Allemagne] ; Weixiong Zhang [États-Unis] | A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem |
| 004C48 (2007) | Susann Beetz [Allemagne] ; Lothar Marischen [Allemagne] ; Dieter Kabelitz [Allemagne] ; Daniela Wesch [Allemagne] | Human γδ T cells |
| 006380 (2005) | Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP decision procedure for protocol insecurity with XOR |
| 009F17 (2000) | Sergio Antoy [États-Unis] ; Michael Hanus [Allemagne] | Compiling Multi-paradigm Declarative Programs into Prolog |
List of associated Author.i
| Nombre de documents | Descripteur |
|---|---|
| 1 | Daniela Wesch |
| 1 | Dieter Kabelitz |
| 1 | Gerold J Ger |
| 1 | Lothar Marischen |
| 1 | Mathieu Turuani |
| 1 | Michael Hanus |
| 1 | Michaël Rusinowitch |
| 1 | Ralf Küsters |
| 1 | Sergio Antoy |
| 1 | Susann Beetz |
| 1 | Weixiong Zhang |
| 1 | Yannick Chevalier |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i -k "Schleswig-Holstein"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i \
-Sk "Schleswig-Holstein" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= AffRegion.i
|clé= Schleswig-Holstein
}}
| This area was generated with Dilib version V0.6.33. |  |