Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex)

Index « Pays » - entrée « Autriche »
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.
Australie < Autriche < Belgique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000093 (2013) Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France]Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years
000133 (1994) Gernot Salzer [Autriche]Primal grammars and unification modulo a binary clause
000335 (2004) Stephan Schulz [Autriche, Allemagne]System Description: E 0.81
000520 (2012) Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]Multi-Completion with Termination Tools
000608 (1998) H. Hong [Autriche]Bounds for Absolute Positiveness of Multivariate Polynomials
000862 (1999) Martin Be Ka [Slovaquie] ; Sophie Robert [France] ; Marian Vajteršic [Autriche, Slovaquie]Experiments with Parallel One - Sided and Two - Sided Algorithms for SVD
000A37 (2003) Birgit Stehno [Autriche] ; Gregor Retti [Autriche]Modelling the logical structure of books and journals using augmented transition network grammars
000A78 (2001) Bernhard Gramlich [Autriche]On interreduction of semi-complete term rewriting systems
000A87 (2001) Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche]Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
000C75 (2007) Claudia Stöllberger [Autriche] ; Josef Finsterer [Autriche]Noncompaction in Melnick Fraser Syndrome
000D12 (1999) K. Stokkermans [Autriche]A Categorical Critical-pair Completion Algorithm
001062 (2007) Nachum Dershowitz [Israël] ; Georg Moser [Autriche]The Hydra Battle Revisited
001129 (2010) Guillaume Bonfante [France] ; Georg Moser [Autriche]Characterising Space Complexity Classes via Knuth-Bendix Orders
001217 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Introducing the Vienna Platform for Elastic Processes
001233 (2006) Gerhard Kramler [Autriche] ; Elisabeth Kapsammer [Autriche] ; Werner Retschitzegger [Autriche] ; Gerti Kappel [Autriche]Towards Using UML 2 for Modelling Web Service Collaboration Protocols
001365 (2000) Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis]Editorial: Strategies in Automated Deduction
001413 (2010) Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
001507 (1969) E. Schroll [Autriche] ; Erika Stepán [Autriche]Zur Röntgenfluoreszenzanalyse geologischen Materials
001610 (1998) Hoon Hong [États-Unis] ; Dalibor Jakuš [Autriche]Testing Positiveness of Polynomials
001942 (2008) P. Wild [France] ; K. Leodolter [Autriche] ; M. Réfrégier [France] ; H. Schmidt [Autriche] ; E. Bourgkard [France]Effects of talc dust on respiratory health: results of a longitudinal survey of 378 French and Austrian talc workers
001982 (2013) Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche]Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i -k "Autriche" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i  \
                -Sk "Autriche" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Autriche
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022