Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Pays » - entrée « Danemark »
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.
Côte d'Ivoire < Danemark < Espagne  Facettes :

List of bibliographic references indexed by Danemark

Number of relevant bibliographic references: 47.
[20-40] [0 - 20][0 - 47][40-46][40-60]
Ident.Authors (with country if any)Title
004385 (2008) Dines Bj Rner [France, Danemark]From Domain to Requirements
006238 (2005) Ph. Lahire [France] ; G. Arévalo [Suisse] ; H. Astudillo [Chili] ; A. P. Black [États-Unis] ; E. Ernst [Danemark] ; M. Huchard [France] ; T. Opluštil [France] ; M. Sakkinen [Finlande] ; P. Valtchev [Canada]MASPEGHI 2004 M ech a nisms for Spe ialization, G eneralization and In h er i tance
006658 (2004-04) Susanne Salmon-Alt [France] ; Eckhard Bick [Danemark] ; Laurent Romary [France] ; Jean-Marie Pierrel [France]La FReeBank : vers une base libre de corpus annotés
007A62 (2003) Giovanni Semeraro [Italie] ; Hans H. K. Andersen [Danemark] ; Verner Andersen [Danemark] ; Pasquale Lops [Italie] ; Fabio Abbattista [Italie]Evaluation and Validation of a Conversational Agent Embodied in a Bookstore
007A63 (2003) Kasper Hornb K [Danemark] ; Erik Fr Kj R [Danemark]Evaluating User Interfaces with Metaphors of Human Thinking
007A94 (2003) Anders Sewerin Johansen [États-Unis, Danemark] ; John Paulin Hansen [États-Unis, Danemark]Augmentative and Alternative Communication: The Future of Text on the Move
008765 (2002) Peter D. Mosses [Danemark]Pragmatics of Modular SOS
008809 (2002) Luca Aceto [Danemark] ; Zoltán Ésik [Hongrie] ; Anna Ing Lfsd Ttir [Danemark]Equational Axioms for Probabilistic Bisimilarity
008923 (2002) Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne]CASL: the Common Algebraic Specification Language
009371 (2001) J Rgen Villadsen [Danemark]Combinators for Paraconsistent Attitudes
00B352 (1998) Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy LynchLiveness in Timed and Untimed Systems
00B397 (1998) Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark]Algebraic Specifications, Higher-Order Types and Set-Theoretic Models
00BB40 (1997) Peter Sestoft [Danemark]Deriving a lazy abstract machine
00BD16 (1997) R. J. Jarvella [Danemark] ; L. Lundquist [Danemark]The language of genesis : A psycholinguistic approach to evolving referents
00BF28 (1996) Gregory Kucherov [France] ; Pierre Lescanne [France] ; Peter Mosses [Danemark]Valentin Antimirov (1961–1995)
00C033 (1996) Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]R n - and G n -logics
00C054 (1996) Zine-El-Abidine Benaissa [France] ; Pierre Lescanne [France] ; Kristoffer H. Rose [Danemark]Modeling sharing and recursion for weak reduction strategies using explicit substitution
00C081 (1996) Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]Combining algebraic and set-theoretic specifications
00C136 (1996) G. Kucherov [France] ; Pierre Lescanne [France] ; P. Mosses [Danemark]Valentin Antimirov (1961-1995)
00C614 (1995) Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark]Rewriting extended regular expressions
00C623 (1995) Henrik Hasle [Danemark] ; Bendt Brock Jacobsen [Danemark]Origin of male mediastinal germ-cell tumours

List of associated Author.i

Nombre de
documents
Descripteur
7Peter D. Mosses
4Hélène Kirchner
3Armelle Brun
3Eric Jul
3Liana Razmerita
3Pierre Lescanne
2Chandra Krintz
2Claus Hintermeier
2Céline Blondeau
2Erik Zenner
2Etienne Gagnon
2Jan Vitek
2Jürgen Giesl
2Klaus Marius Hansen
2Kristoffer H. Rose
2Marion Videau
2Mohamed Ahmed Abdelraheem
2Olivier Zendra
2Paolo Bellavista
2Peter Schneider-Kamp
2Philippe Mulet
2Richard Jones
2Roland Ducournau
2Weishan Zhang
1A. Alavi
1A. Bertrand
1A. Blasco
1A. Cazelas
1A. Eleftérion
1A. Gaucher
1A. Gilbert
1A. J. Malcolm
1A. Lortat-Jacob
1A. P. Black
1A. R. Penix
1A. Schoutens
1A. Schreiber
1A. Trias
1A. Verschaeren
1Anders Sewerin Johansen
1Andrzej Tarlecki
1Anna Ing Lfsd Ttir
1Annabelle Thibessard
1Anne Boyer
1Arlet
1B. A. Rahn
1B. Frisch
1B. Moysses
1B. Rahn
1B. Slaven
1B. Stromqvist
1Bendt Brock Jacobsen
1Bernd Krieg-Brückner
1Bouzet
1Bru
1C. A. L. Bassett
1C. Alexandre
1C. Arnoldi
1C. B. Clayton
1C. Bünger
1C. Colette
1C. F. Barker
1C. Ficat
1C. H. Bauer
1C. Hocquard
1C. M. Schnitzler
1C. Nedjar
1C. T. Brighton
1Carsten Fuhs
1Catherine Eng
1Ch. Fauchier
1D. Barres
1D. Chakkalakal
1D. Chappard
1D. Mendelsohn
1D. Mess
1D. N. Walder
1D. Pavel
1D. R. Steinberg
1D. Robles Marin
1Dang Tran Lac
1Dines Bj Rner
1Donald Sannella
1E. D. Miller
1E. Ernst
1E. H. Bünger
1E. Horvath
1E. T Ndevold
1E. T. Habermann
1E. Warda
1Eckhard Bick
1Egidio Astesiano
1Elias P. Tsigaridas
1Erik Fr Kj R
1F. Blotman
1F. Bonnel
1F. Burny
1F. Jacqueline
1F. Paolaggi
1F. Schuind

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/AffPays.i -k "Danemark" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffPays.i  \
                -Sk "Danemark" \
         | 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=    AffPays.i
   |clé=    Danemark
}}

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